shifty-parse 0.1.5

//! IRI constants for the SHACL, RDF, and RDFS vocabularies.
//!
//! `*_REF` constants are `NamedNodeRef` for graph lookups; the owned helpers are
//! for building paths in the IR.

use oxrdf::{NamedNode, NamedNodeRef};

pub const SH: &str = "http://www.w3.org/ns/shacl#";
pub const RDF: &str = "http://www.w3.org/1999/02/22-rdf-syntax-ns#";
pub const RDFS: &str = "http://www.w3.org/2000/01/rdf-schema#";
pub const OWL: &str = "http://www.w3.org/2002/07/owl#";

macro_rules! iri {
    ($name:ident, $iri:expr) => {
        pub const $name: NamedNodeRef<'static> = NamedNodeRef::new_unchecked($iri);
    };
}

// rdf / rdfs
iri!(RDF_TYPE, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type");
iri!(
    RDF_FIRST,
    "http://www.w3.org/1999/02/22-rdf-syntax-ns#first"
);
iri!(RDF_REST, "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest");
iri!(RDF_NIL, "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil");
iri!(RDFS_CLASS, "http://www.w3.org/2000/01/rdf-schema#Class");
iri!(
    RDFS_SUBCLASSOF,
    "http://www.w3.org/2000/01/rdf-schema#subClassOf"
);
iri!(OWL_CLASS, "http://www.w3.org/2002/07/owl#Class");
iri!(OWL_IMPORTS, "http://www.w3.org/2002/07/owl#imports");

// shape types
iri!(SH_NODE_SHAPE, "http://www.w3.org/ns/shacl#NodeShape");
iri!(
    SH_PROPERTY_SHAPE,
    "http://www.w3.org/ns/shacl#PropertyShape"
);

// targets
iri!(SH_TARGET_NODE, "http://www.w3.org/ns/shacl#targetNode");
iri!(SH_TARGET_CLASS, "http://www.w3.org/ns/shacl#targetClass");
iri!(
    SH_TARGET_SUBJECTS_OF,
    "http://www.w3.org/ns/shacl#targetSubjectsOf"
);
iri!(
    SH_TARGET_OBJECTS_OF,
    "http://www.w3.org/ns/shacl#targetObjectsOf"
);
iri!(SH_TARGET, "http://www.w3.org/ns/shacl#target");
iri!(SH_SELECT, "http://www.w3.org/ns/shacl#select");
iri!(SH_ASK, "http://www.w3.org/ns/shacl#ask");

// paths
iri!(SH_PATH, "http://www.w3.org/ns/shacl#path");
iri!(SH_INVERSE_PATH, "http://www.w3.org/ns/shacl#inversePath");
iri!(
    SH_ALTERNATIVE_PATH,
    "http://www.w3.org/ns/shacl#alternativePath"
);
iri!(
    SH_ZERO_OR_MORE_PATH,
    "http://www.w3.org/ns/shacl#zeroOrMorePath"
);
iri!(
    SH_ONE_OR_MORE_PATH,
    "http://www.w3.org/ns/shacl#oneOrMorePath"
);
iri!(
    SH_ZERO_OR_ONE_PATH,
    "http://www.w3.org/ns/shacl#zeroOrOnePath"
);

// value-type / facet constraints
iri!(SH_CLASS, "http://www.w3.org/ns/shacl#class");
iri!(SH_DATATYPE, "http://www.w3.org/ns/shacl#datatype");
iri!(SH_NODE_KIND, "http://www.w3.org/ns/shacl#nodeKind");
iri!(SH_MIN_EXCLUSIVE, "http://www.w3.org/ns/shacl#minExclusive");
iri!(SH_MIN_INCLUSIVE, "http://www.w3.org/ns/shacl#minInclusive");
iri!(SH_MAX_EXCLUSIVE, "http://www.w3.org/ns/shacl#maxExclusive");
iri!(SH_MAX_INCLUSIVE, "http://www.w3.org/ns/shacl#maxInclusive");
iri!(SH_MIN_LENGTH, "http://www.w3.org/ns/shacl#minLength");
iri!(SH_MAX_LENGTH, "http://www.w3.org/ns/shacl#maxLength");
iri!(SH_PATTERN, "http://www.w3.org/ns/shacl#pattern");
iri!(SH_FLAGS, "http://www.w3.org/ns/shacl#flags");
iri!(SH_LANGUAGE_IN, "http://www.w3.org/ns/shacl#languageIn");
iri!(SH_UNIQUE_LANG, "http://www.w3.org/ns/shacl#uniqueLang");

// cardinality
iri!(SH_MIN_COUNT, "http://www.w3.org/ns/shacl#minCount");
iri!(SH_MAX_COUNT, "http://www.w3.org/ns/shacl#maxCount");

// property pairs
iri!(SH_EQUALS, "http://www.w3.org/ns/shacl#equals");
iri!(SH_DISJOINT, "http://www.w3.org/ns/shacl#disjoint");
iri!(SH_LESS_THAN, "http://www.w3.org/ns/shacl#lessThan");
iri!(
    SH_LESS_THAN_OR_EQUALS,
    "http://www.w3.org/ns/shacl#lessThanOrEquals"
);

// logical
iri!(SH_NOT, "http://www.w3.org/ns/shacl#not");
iri!(SH_AND, "http://www.w3.org/ns/shacl#and");
iri!(SH_OR, "http://www.w3.org/ns/shacl#or");
iri!(SH_XONE, "http://www.w3.org/ns/shacl#xone");

// shape-based
iri!(SH_NODE, "http://www.w3.org/ns/shacl#node");
iri!(SH_PROPERTY, "http://www.w3.org/ns/shacl#property");
iri!(
    SH_QUALIFIED_VALUE_SHAPE,
    "http://www.w3.org/ns/shacl#qualifiedValueShape"
);
iri!(
    SH_QUALIFIED_MIN_COUNT,
    "http://www.w3.org/ns/shacl#qualifiedMinCount"
);
iri!(
    SH_QUALIFIED_MAX_COUNT,
    "http://www.w3.org/ns/shacl#qualifiedMaxCount"
);
iri!(
    SH_QUALIFIED_VALUE_SHAPES_DISJOINT,
    "http://www.w3.org/ns/shacl#qualifiedValueShapesDisjoint"
);

// other
iri!(SH_CLOSED, "http://www.w3.org/ns/shacl#closed");
iri!(
    SH_IGNORED_PROPERTIES,
    "http://www.w3.org/ns/shacl#ignoredProperties"
);
iri!(SH_HAS_VALUE, "http://www.w3.org/ns/shacl#hasValue");
iri!(SH_IN, "http://www.w3.org/ns/shacl#in");
iri!(SH_DEACTIVATED, "http://www.w3.org/ns/shacl#deactivated");

// node-kind values
iri!(SH_IRI, "http://www.w3.org/ns/shacl#IRI");
iri!(SH_BLANK_NODE, "http://www.w3.org/ns/shacl#BlankNode");
iri!(SH_LITERAL, "http://www.w3.org/ns/shacl#Literal");
iri!(
    SH_BLANK_NODE_OR_IRI,
    "http://www.w3.org/ns/shacl#BlankNodeOrIRI"
);
iri!(
    SH_BLANK_NODE_OR_LITERAL,
    "http://www.w3.org/ns/shacl#BlankNodeOrLiteral"
);
iri!(SH_IRI_OR_LITERAL, "http://www.w3.org/ns/shacl#IRIOrLiteral");

// AF (recognized for diagnostics)
iri!(SH_SPARQL, "http://www.w3.org/ns/shacl#sparql");
iri!(SH_RULE, "http://www.w3.org/ns/shacl#rule");

// AF functions (SHACL-AF §4.3)
iri!(SH_PARAMETER, "http://www.w3.org/ns/shacl#parameter");
iri!(SH_NAME, "http://www.w3.org/ns/shacl#name");

// AF rules (SHACL-AF §4)
iri!(SH_THIS, "http://www.w3.org/ns/shacl#this");
iri!(SH_SUBJECT, "http://www.w3.org/ns/shacl#subject");
iri!(SH_PREDICATE, "http://www.w3.org/ns/shacl#predicate");
iri!(SH_OBJECT, "http://www.w3.org/ns/shacl#object");
iri!(SH_CONDITION, "http://www.w3.org/ns/shacl#condition");
iri!(SH_ORDER, "http://www.w3.org/ns/shacl#order");
iri!(SH_CONSTRUCT, "http://www.w3.org/ns/shacl#construct");
iri!(SH_PREFIXES, "http://www.w3.org/ns/shacl#prefixes");
iri!(SH_DECLARE, "http://www.w3.org/ns/shacl#declare");
iri!(SH_PREFIX, "http://www.w3.org/ns/shacl#prefix");
iri!(SH_NAMESPACE, "http://www.w3.org/ns/shacl#namespace");

// validation report vocabulary
iri!(
    SH_VALIDATION_REPORT,
    "http://www.w3.org/ns/shacl#ValidationReport"
);
iri!(
    SH_VALIDATION_RESULT,
    "http://www.w3.org/ns/shacl#ValidationResult"
);
iri!(SH_CONFORMS, "http://www.w3.org/ns/shacl#conforms");
iri!(SH_RESULT, "http://www.w3.org/ns/shacl#result");
iri!(SH_FOCUS_NODE, "http://www.w3.org/ns/shacl#focusNode");
iri!(SH_RESULT_PATH, "http://www.w3.org/ns/shacl#resultPath");
iri!(SH_VALUE, "http://www.w3.org/ns/shacl#value");
iri!(
    SH_RESULT_SEVERITY,
    "http://www.w3.org/ns/shacl#resultSeverity"
);
iri!(
    SH_SOURCE_CONSTRAINT_COMPONENT,
    "http://www.w3.org/ns/shacl#sourceConstraintComponent"
);
iri!(SH_SOURCE_SHAPE, "http://www.w3.org/ns/shacl#sourceShape");
iri!(SH_VIOLATION, "http://www.w3.org/ns/shacl#Violation");
iri!(SH_SEVERITY, "http://www.w3.org/ns/shacl#severity");
iri!(SH_MESSAGE, "http://www.w3.org/ns/shacl#message");
iri!(
    SH_RESULT_MESSAGE,
    "http://www.w3.org/ns/shacl#resultMessage"
);

// constraint components
iri!(
    SH_CC_SPARQL,
    "http://www.w3.org/ns/shacl#SPARQLConstraintComponent"
);
iri!(
    SH_CC_CLASS,
    "http://www.w3.org/ns/shacl#ClassConstraintComponent"
);
iri!(
    SH_CC_DATATYPE,
    "http://www.w3.org/ns/shacl#DatatypeConstraintComponent"
);
iri!(
    SH_CC_NODE_KIND,
    "http://www.w3.org/ns/shacl#NodeKindConstraintComponent"
);
iri!(
    SH_CC_MIN_COUNT,
    "http://www.w3.org/ns/shacl#MinCountConstraintComponent"
);
iri!(
    SH_CC_MAX_COUNT,
    "http://www.w3.org/ns/shacl#MaxCountConstraintComponent"
);
iri!(
    SH_CC_MIN_EXCLUSIVE,
    "http://www.w3.org/ns/shacl#MinExclusiveConstraintComponent"
);
iri!(
    SH_CC_MIN_INCLUSIVE,
    "http://www.w3.org/ns/shacl#MinInclusiveConstraintComponent"
);
iri!(
    SH_CC_MAX_EXCLUSIVE,
    "http://www.w3.org/ns/shacl#MaxExclusiveConstraintComponent"
);
iri!(
    SH_CC_MAX_INCLUSIVE,
    "http://www.w3.org/ns/shacl#MaxInclusiveConstraintComponent"
);
iri!(
    SH_CC_MIN_LENGTH,
    "http://www.w3.org/ns/shacl#MinLengthConstraintComponent"
);
iri!(
    SH_CC_MAX_LENGTH,
    "http://www.w3.org/ns/shacl#MaxLengthConstraintComponent"
);
iri!(
    SH_CC_PATTERN,
    "http://www.w3.org/ns/shacl#PatternConstraintComponent"
);
iri!(
    SH_CC_AND,
    "http://www.w3.org/ns/shacl#AndConstraintComponent"
);
iri!(SH_CC_OR, "http://www.w3.org/ns/shacl#OrConstraintComponent");
iri!(
    SH_CC_NOT,
    "http://www.w3.org/ns/shacl#NotConstraintComponent"
);
iri!(
    SH_CC_XONE,
    "http://www.w3.org/ns/shacl#XoneConstraintComponent"
);
iri!(
    SH_CC_NODE,
    "http://www.w3.org/ns/shacl#NodeConstraintComponent"
);
iri!(
    SH_CC_HAS_VALUE,
    "http://www.w3.org/ns/shacl#HasValueConstraintComponent"
);
iri!(SH_CC_IN, "http://www.w3.org/ns/shacl#InConstraintComponent");
iri!(
    SH_CC_CLOSED,
    "http://www.w3.org/ns/shacl#ClosedConstraintComponent"
);
iri!(
    SH_CC_EQUALS,
    "http://www.w3.org/ns/shacl#EqualsConstraintComponent"
);
iri!(
    SH_CC_DISJOINT,
    "http://www.w3.org/ns/shacl#DisjointConstraintComponent"
);
iri!(
    SH_CC_LESS_THAN,
    "http://www.w3.org/ns/shacl#LessThanConstraintComponent"
);
iri!(
    SH_CC_LESS_THAN_OR_EQUALS,
    "http://www.w3.org/ns/shacl#LessThanOrEqualsConstraintComponent"
);
iri!(
    SH_CC_LANGUAGE_IN,
    "http://www.w3.org/ns/shacl#LanguageInConstraintComponent"
);
iri!(
    SH_CC_UNIQUE_LANG,
    "http://www.w3.org/ns/shacl#UniqueLangConstraintComponent"
);
iri!(
    SH_CC_QUALIFIED_MIN_COUNT,
    "http://www.w3.org/ns/shacl#QualifiedMinCountConstraintComponent"
);
iri!(
    SH_CC_QUALIFIED_MAX_COUNT,
    "http://www.w3.org/ns/shacl#QualifiedMaxCountConstraintComponent"
);

/// `rdf:type` as an owned node (for path construction).
pub fn rdf_type() -> NamedNode {
    NamedNode::new_unchecked(format!("{RDF}type"))
}

/// `rdfs:subClassOf` as an owned node (for path construction).
pub fn rdfs_subclassof() -> NamedNode {
    NamedNode::new_unchecked(format!("{RDFS}subClassOf"))
}