shacl.ttl

## W3C SOFTWARE AND DOCUMENT NOTICE AND LICENSE
## https://www.w3.org/Consortium/Legal/2015/copyright-software-and-document
## --------

# W3C Shapes Constraint Language (SHACL) Vocabulary

# THIS VERSION IS UNDER DEVELOPMENT BY THE DATA-SHAPES (SHACL 1.2) WG

@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .

@prefix sh:   <http://www.w3.org/ns/shacl#> .

sh:
	a owl:Ontology ;
	rdfs:label "W3C Shapes Constraint Language (SHACL) Vocabulary"@en ;
	rdfs:comment "This vocabulary defines terms used in SHACL, the W3C Shapes Constraint Language."@en ;
	sh:declare [
		sh:prefix "sh" ;
		sh:namespace "http://www.w3.org/ns/shacl#"^^xsd:anyURI ;
	] ;
	sh:suggestedShapesGraph <http://www.w3.org/ns/shacl-shacl#> .


# Shapes vocabulary -----------------------------------------------------------

sh:Shape
	a rdfs:Class ;
	rdfs:label "Shape"@en ;
	rdfs:comment "A shape is a collection of constraints that may be targeted for certain nodes."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:NodeShape
	a rdfs:Class ;
	rdfs:label "Node shape"@en ;
	rdfs:comment "A node shape is a shape that specifies constraints that need to be met with respect to focus nodes."@en ;
	rdfs:subClassOf sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:PropertyShape
	a rdfs:Class ;
	rdfs:label "Property shape"@en ;
	rdfs:comment "A property shape is a shape that specifies constraints on the values of a focus node for a given property or path."@en ;
	rdfs:subClassOf sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:ShapeClass
	a rdfs:Class ;
	rdfs:comment "A shape class is a class that is also a node shape. sh:ShapeClass can be used as rdf:type instead of the combination of rdfs:Class and sh:NodeShape."@en ;
	rdfs:label "Shape class"@en ;
	rdfs:subClassOf rdfs:Class ;
	rdfs:subClassOf sh:NodeShape ;
	rdfs:isDefinedBy sh: .

sh:deactivated
	a rdf:Property ;
	rdfs:label "deactivated"@en ;
	rdfs:comment "If set to true then all nodes conform to this."@en ;
	# rdfs:domain sh:Shape or sh:SPARQLConstraint
	# rdfs:range xsd:boolean (node expression)
	rdfs:isDefinedBy sh: .

sh:targetClass
	a rdf:Property ;
	rdfs:label "target class"@en ;
	rdfs:comment "Links a shape to a class, indicating that all instances of the class must conform to the shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range rdfs:Class ;
	rdfs:isDefinedBy sh: .

sh:targetNode
	a rdf:Property ;
	rdfs:label "target node"@en ;
	rdfs:comment "Links a shape to node expressions, indicating that the output nodes must conform to the shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:targetObjectsOf
	a rdf:Property ;
	rdfs:label "target objects of"@en ;
	rdfs:comment "Links a shape to a property, indicating that all all objects of triples that have the given property as their predicate must conform to the shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range rdf:Property ;
	rdfs:isDefinedBy sh: .

sh:targetSubjectsOf
	a rdf:Property ;
	rdfs:label "target subjects of"@en ;
	rdfs:comment "Links a shape to a property, indicating that all subjects of triples that have the given property as their predicate must conform to the shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range rdf:Property ;
	rdfs:isDefinedBy sh: .

sh:targetWhere
	a rdf:Property ;
	rdfs:label "target where"@en ;
	rdfs:comment "Links a (subject) shape to an (object) shape, indicating that all nodes from the data graph that conform to the given (object) shape must conform to the (subject) shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:message
	a rdf:Property ;
	# domain: sh:Shape or sh:SPARQLConstraint or sh:SPARQLSelectValidator or sh:SPARQLAskValidator
	# range: xsd:string or rdf:dirLangString or rdf:langString or rdf:HTML
	rdfs:label "message"@en ;
	rdfs:comment "A human-readable message (possibly with placeholders for variables) explaining the cause of the result."@en ;
	rdfs:isDefinedBy sh: .

sh:severity
	a rdf:Property ;
	rdfs:label "severity"@en ;
	rdfs:comment "Defines the severity that validation results produced by a shape or constraint must have. Defaults to sh:Violation."@en ;
	rdfs:range sh:Severity ;
	rdfs:isDefinedBy sh: .

sh:shape
	a rdf:Property ;
	rdfs:label "shape"@en ;
	rdfs:comment "Links from a node in the data graph to a shape that it is expected to conform to."@en ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .


# Node kind vocabulary --------------------------------------------------------

sh:NodeKind
	a rdfs:Class ;
	rdfs:label "Node kind"@en ;
	rdfs:comment "The class of all node kinds, including sh:BlankNode, sh:IRI, sh:Literal or the combinations of these: sh:BlankNodeOrIRI, sh:BlankNodeOrLiteral, sh:IRIOrLiteral."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:BlankNode
	a sh:NodeKind ;
	rdfs:label "Blank node"@en ;
	rdfs:comment "The node kind of all blank nodes."@en ;
	rdfs:isDefinedBy sh: .

sh:BlankNodeOrIRI
	a sh:NodeKind ;
	rdfs:label "Blank node or IRI"@en ;
	rdfs:comment "The node kind of all blank nodes or IRIs."@en ;
	rdfs:isDefinedBy sh: .

sh:BlankNodeOrLiteral
	a sh:NodeKind ;
	rdfs:label "Blank node or literal"@en ;
	rdfs:comment "The node kind of all blank nodes or literals."@en ;
	rdfs:isDefinedBy sh: .

sh:IRI
	a sh:NodeKind ;
	rdfs:label "IRI"@en ;
	rdfs:comment "The node kind of all IRIs."@en ;
	rdfs:isDefinedBy sh: .

sh:IRIOrLiteral
	a sh:NodeKind ;
	rdfs:label "IRI or literal"@en ;
	rdfs:comment "The node kind of all IRIs or literals."@en ;
	rdfs:isDefinedBy sh: .

sh:Literal
	a sh:NodeKind ;
	rdfs:label "Literal"@en ;
	rdfs:comment "The node kind of all literals."@en ;
	rdfs:isDefinedBy sh: .

sh:TripleTerm
	a sh:NodeKind ;
	rdfs:label "Triple term"@en ;
	rdfs:comment "The node kind of all triple terms."@en ;
	rdfs:isDefinedBy sh: .

# Results vocabulary ----------------------------------------------------------

sh:ValidationReport
	a rdfs:Class ;
	rdfs:label "Validation report"@en ;
	rdfs:comment "The class of SHACL validation reports."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:conforms
	a rdf:Property ;
	rdfs:label "conforms"@en ;
	rdfs:comment "True if the validation did not produce any validation results, and false otherwise."@en ;
	rdfs:domain sh:ValidationReport ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:conformanceDisallows
	a rdf:Property ;
	rdfs:label "conformance disallows"@en ;
	rdfs:comment "Severity levels that are evaluated in the conformance check."@en ;
	rdfs:domain sh:ValidationReport ;
	rdfs:range sh:Severity ;
	rdfs:isDefinedBy sh: .

sh:result
	a rdf:Property ;
	rdfs:label "result"@en ;
	rdfs:comment "The validation results contained in a validation report."@en ;
	rdfs:domain sh:ValidationReport ;
	rdfs:range sh:ValidationResult ;
	rdfs:isDefinedBy sh: .

sh:shapesGraphWellFormed
	a rdf:Property ;
	rdfs:label "shapes graph well-formed"@en ;
	rdfs:comment "If true then the validation engine was certain that the shapes graph has passed all SHACL syntax requirements during the validation process."@en ;
	rdfs:domain sh:ValidationReport ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:AbstractResult
	a rdfs:Class ;
	rdfs:label "Abstract result"@en ;
	rdfs:comment "The base class of validation results, typically not instantiated directly."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:ValidationResult
	a rdfs:Class ;
	rdfs:label "Validation result"@en ;
	rdfs:comment "The class of validation results."@en ;
	rdfs:subClassOf sh:AbstractResult ;
	rdfs:isDefinedBy sh: .

sh:Severity
	a rdfs:Class ;
	rdfs:label "Severity"@en ;
	rdfs:comment "The class of validation result severity levels, including violation and warning levels."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:Trace
	a sh:Severity ;
	rdfs:label "Trace"@en ;
	rdfs:comment "The severity for a trace validation result."@en ;
	rdfs:isDefinedBy sh: .

sh:Debug
	a sh:Severity ;
	rdfs:label "Debug"@en ;
	rdfs:comment "The severity for a debug validation result."@en ;
	rdfs:isDefinedBy sh: .

sh:Info
	a sh:Severity ;
	rdfs:label "Info"@en ;
	rdfs:comment "The severity for an informational validation result."@en ;
	rdfs:isDefinedBy sh: .

sh:Violation
	a sh:Severity ;
	rdfs:label "Violation"@en ;
	rdfs:comment "The severity for a violation validation result."@en ;
	rdfs:isDefinedBy sh: .

sh:Warning
	a sh:Severity ;
	rdfs:label "Warning"@en ;
	rdfs:comment "The severity for a warning validation result."@en ;
	rdfs:isDefinedBy sh: .

sh:detail
	a rdf:Property ;
	rdfs:label "detail"@en ;
	rdfs:comment "Links a result with other results that provide more details, for example to describe violations against nested shapes."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:range sh:AbstractResult ;
	rdfs:isDefinedBy sh: .

sh:focusNode
	a rdf:Property ;
	rdfs:label "focus node"@en ;
	rdfs:comment "The focus node that was validated when the result was produced."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:isDefinedBy sh: .

sh:resultMessage
	a rdf:Property ;
	rdfs:label "result message"@en ;
	rdfs:comment "Human-readable messages explaining the cause of the result."@en ;
	rdfs:domain sh:AbstractResult ;
	# range: xsd:string or rdf:dirLangString or rdf:langString or rdf:HTML
	rdfs:isDefinedBy sh: .

sh:resultPath
	a rdf:Property ;
	rdfs:label "result path"@en ;
	rdfs:comment "The path of a validation result, based on the path of the validated property shape."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:range rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:resultSeverity
	a rdf:Property ;
	rdfs:label "result severity"@en ;
	rdfs:comment "The severity of the result, e.g. warning."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:range sh:Severity ;
	rdfs:isDefinedBy sh: .

sh:sourceConstraint
	a rdf:Property ;
	rdfs:label "source constraint"@en ;
	rdfs:comment "The constraint that was validated when the result was produced."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:isDefinedBy sh: .

sh:sourceShape
	a rdf:Property ;
	rdfs:label "source shape"@en ;
	rdfs:comment "The shape that is was validated when the result was produced."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:sourceConstraintComponent
	a rdf:Property ;
	rdfs:label "source constraint component"@en ;
	rdfs:comment "The constraint component that is the source of the result."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:range sh:ConstraintComponent ;
	rdfs:isDefinedBy sh: .

sh:value
	a rdf:Property ;
	rdfs:label "value"@en ;
	rdfs:comment "An RDF node that has caused the result."@en ;
	rdfs:domain sh:AbstractResult ;
	rdfs:isDefinedBy sh: .


# Graph properties ------------------------------------------------------------

sh:shapesGraph
	a rdf:Property ;
	rdfs:label "shapes graph"@en ;
	rdfs:comment "Shapes graphs that should be used when validating this data graph."@en ;
	rdfs:domain owl:Ontology ;
	rdfs:range owl:Ontology ;
	rdfs:isDefinedBy sh: .

sh:suggestedShapesGraph
	a rdf:Property ;
	rdfs:label "suggested shapes graph"@en ;
	rdfs:comment "Suggested shapes graphs for this ontology. The values of this property may be used in the absence of specific sh:shapesGraph statements."@en ;
	rdfs:domain owl:Ontology ;
	rdfs:range owl:Ontology ;
	rdfs:isDefinedBy sh: .

sh:entailment
	a rdf:Property ;
	rdfs:label "entailment"@en ;
	rdfs:comment "An entailment regime that indicates what kind of inferencing is required by a shapes graph."@en ;
	rdfs:domain owl:Ontology ;
	rdfs:range rdfs:Resource ;
	rdfs:isDefinedBy sh: .


# Path vocabulary -------------------------------------------------------------

sh:path
	a rdf:Property ;
	rdfs:label "path"@en ;
	rdfs:comment "Specifies the property path of a property shape."@en ;
	rdfs:domain sh:PropertyShape ;
	rdfs:isDefinedBy sh: .

sh:inversePath
	a rdf:Property ;
	rdfs:label "inverse path"@en ;
	rdfs:comment "The (single) value of this property represents an inverse path (object to subject)."@en ;
	rdfs:range rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:alternativePath
	a rdf:Property ;
	rdfs:label "alternative path"@en ;
	rdfs:comment "The (single) value of this property must be a list of path elements, representing the elements of alternative paths."@en ;
	rdfs:range rdf:List ;
	rdfs:isDefinedBy sh: .

sh:zeroOrMorePath
	a rdf:Property ;
	rdfs:label "zero or more path"@en ;
	rdfs:comment "The (single) value of this property represents a path that is matched zero or more times."@en ;
	rdfs:range rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:oneOrMorePath
	a rdf:Property ;
	rdfs:label "one or more path"@en ;
	rdfs:comment "The (single) value of this property represents a path that is matched one or more times."@en ;
	rdfs:range rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:zeroOrOnePath
	a rdf:Property ;
	rdfs:label "zero or one path"@en ;
	rdfs:comment "The (single) value of this property represents a path that is matched zero or one times."@en ;
	rdfs:range rdfs:Resource ;
	rdfs:isDefinedBy sh: .


# Parameters metamodel --------------------------------------------------------

sh:Parameterizable
	a rdfs:Class ;
	rdfs:label "Parameterizable"@en ;
	rdfs:comment "Superclass of components that can take parameters, especially functions and constraint components."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:parameter
	a rdf:Property ;
	rdfs:label "parameter"@en ;
	rdfs:comment "The parameters of a function or constraint component."@en ;
	rdfs:domain sh:Parameterizable ;
	rdfs:range sh:Parameter ;
	rdfs:isDefinedBy sh: .

sh:labelTemplate
	a rdf:Property ;
	rdfs:label "label template"@en ;
	rdfs:comment "Outlines how human-readable labels of instances of the associated Parameterizable shall be produced. The values can contain {?paramName} as placeholders for the actual values of the given parameter."@en ;
	rdfs:domain sh:Parameterizable ;
	# range: xsd:string or rdf:dirLangString or rdf:langString
	rdfs:isDefinedBy sh: .

sh:Parameter
	a rdfs:Class ;
	rdfs:label "Parameter"@en ;
	rdfs:comment "The class of parameter declarations, consisting of a path predicate and (possibly) information about allowed value type, cardinality and other characteristics."@en ;
	rdfs:subClassOf sh:PropertyShape ;
	rdfs:isDefinedBy sh: .

sh:optional
	a rdf:Property ;
	rdfs:label "optional"@en ;
	rdfs:comment "Indicates whether a parameter is optional."@en ;
	rdfs:domain sh:Parameter ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .


# Constraint components metamodel ---------------------------------------------

sh:ConstraintComponent
	a rdfs:Class ;
	rdfs:label "Constraint component"@en ;
	rdfs:comment "The class of constraint components."@en ;
	rdfs:subClassOf sh:Parameterizable ;
	rdfs:isDefinedBy sh: .

sh:validator
	a rdf:Property ;
	rdfs:label "validator"@en ;
	rdfs:comment "The validator(s) used to evaluate constraints of either node or property shapes."@en ;
	rdfs:domain sh:ConstraintComponent ;
	rdfs:range sh:Validator ;
	rdfs:isDefinedBy sh: .

sh:nodeValidator
	a rdf:Property ;
	rdfs:label "node validator"@en ;
	rdfs:comment "The validator(s) used to evaluate a constraint in the context of a node shape."@en ;
	rdfs:domain sh:ConstraintComponent ;
	rdfs:range sh:Validator ;
	rdfs:isDefinedBy sh: .

sh:propertyValidator
	a rdf:Property ;
	rdfs:label "property validator"@en ;
	rdfs:comment "The validator(s) used to evaluate a constraint in the context of a property shape."@en ;
	rdfs:domain sh:ConstraintComponent ;
	rdfs:range sh:Validator ;
	rdfs:isDefinedBy sh: .

sh:Validator
	a rdfs:Class ;
	rdfs:label "Validator"@en ;
	rdfs:comment "The class of validators, which provide instructions on how to process a constraint definition. This class serves as base class for the SPARQL-based validators and other possible implementations."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:SPARQLAskValidator
	a rdfs:Class ;
	rdfs:label "SPARQL ASK validator"@en ;
	rdfs:comment "The class of validators based on SPARQL ASK queries. The queries are evaluated for each value node and are supposed to return true if the given node conforms."@en ;
	rdfs:subClassOf sh:Validator ;
	rdfs:subClassOf sh:SPARQLAskExecutable ;
	rdfs:isDefinedBy sh: .

sh:SPARQLSelectValidator
	a rdfs:Class ;
	rdfs:label "SPARQL SELECT validator"@en ;
	rdfs:comment "The class of validators based on SPARQL SELECT queries. The queries are evaluated for each focus node and are supposed to produce bindings for all focus nodes that do not conform."@en ;
	rdfs:subClassOf sh:Validator ;
	rdfs:subClassOf sh:SPARQLSelectExecutable ;
	rdfs:isDefinedBy sh: .


# Library of Core Constraint Components and their properties ------------------

sh:AndConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "And constraint component"@en ;
	rdfs:comment "A constraint component that can be used to test whether a value node conforms to all members of a provided list of shapes."@en ;
	sh:parameter sh:AndConstraintComponent-and ;
	rdfs:isDefinedBy sh: .

sh:AndConstraintComponent-and
	a sh:Parameter ;
	sh:path sh:and ;
	rdfs:isDefinedBy sh: .

sh:and
	a rdf:Property ;
	rdfs:label "and"@en ;
	rdfs:comment "RDF list of shapes to validate the value nodes against."@en ;
	rdfs:range rdf:List ;
	rdfs:isDefinedBy sh: .


sh:ClassConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Class constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that each value node is an instance of a given type."@en ;
	sh:parameter sh:ClassConstraintComponent-class ;
	rdfs:isDefinedBy sh: .

sh:ClassConstraintComponent-class
	a sh:Parameter ;
	sh:path sh:class ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:class
	a rdf:Property ;
	rdfs:label "class"@en ;
	rdfs:comment "The type that all value nodes must have."@en ;
	rdfs:isDefinedBy sh: .


sh:ClosedConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Closed constraint component"@en ;
	rdfs:comment "A constraint component that can be used to indicate that focus nodes must only have values for those properties that have been explicitly enumerated via sh:property/sh:path."@en ;
	sh:parameter sh:ClosedConstraintComponent-closed ;
	sh:parameter sh:ClosedConstraintComponent-ignoredProperties ;
	rdfs:isDefinedBy sh: .

sh:ClosedConstraintComponent-closed
	a sh:Parameter ;
	sh:path sh:closed ;
	rdfs:isDefinedBy sh: .

sh:ClosedConstraintComponent-ignoredProperties
	a sh:Parameter ;
	sh:path sh:ignoredProperties ;
	sh:optional true ;
	rdfs:isDefinedBy sh: .

sh:closed
	a rdf:Property ;
	rdfs:label "closed"@en ;
	rdfs:comment "If set to true then the shape is closed."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:ignoredProperties
	a rdf:Property ;
	rdfs:label "ignored properties"@en ;
	rdfs:comment "An optional RDF list of properties that are also permitted in addition to those explicitly enumerated via sh:property/sh:path."@en ;
	rdfs:range rdf:List ;    # members: rdf:Property
	rdfs:isDefinedBy sh: .


sh:DatatypeConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Datatype constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the datatype of all value nodes."@en ;
	sh:parameter sh:DatatypeConstraintComponent-datatype ;
	rdfs:isDefinedBy sh: .

sh:DatatypeConstraintComponent-datatype
	a sh:Parameter ;
	sh:path sh:datatype ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:datatype
	a rdf:Property ;
	rdfs:label "datatype"@en ;
	rdfs:comment "Specifies an RDF datatype that all value nodes must have."@en ;
	rdfs:isDefinedBy sh: .


sh:DisjointConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Disjoint constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that the set of value nodes is disjoint with the the set of nodes that can be reached from the focus node via a given property path."@en ;
	sh:parameter sh:DisjointConstraintComponent-disjoint ;
	rdfs:isDefinedBy sh: .

sh:DisjointConstraintComponent-disjoint
	a sh:Parameter ;
	sh:path sh:disjoint ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:disjoint
	a rdf:Property ;
	rdfs:label "disjoint"@en ;
	rdfs:comment "Specifies a property path where the set of values must be disjoint with the value nodes."@en ;
	rdfs:isDefinedBy sh: .


sh:EqualsConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Equals constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that the set of value nodes is equal to the set of nodes that can be reached from the focus node using a given property path."@en ;
	sh:parameter sh:EqualsConstraintComponent-equals ;
	rdfs:isDefinedBy sh: .

sh:EqualsConstraintComponent-equals
	a sh:Parameter ;
	sh:path sh:equals ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:equals
	a rdf:Property ;
	rdfs:label "equals"@en ;
	rdfs:comment "Specifies a property path that must have the same values as the value nodes."@en ;
	rdfs:isDefinedBy sh: .


sh:HasValueConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Has-value constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that one of the value nodes is a given RDF node."@en ;
	sh:parameter sh:HasValueConstraintComponent-hasValue ;
	rdfs:isDefinedBy sh: .

sh:HasValueConstraintComponent-hasValue
	a sh:Parameter ;
	sh:path sh:hasValue ;
	rdfs:isDefinedBy sh: .

sh:hasValue
	a rdf:Property ;
	rdfs:label "has value"@en ;
	rdfs:comment "Specifies a value that must be among the value nodes."@en ;
	rdfs:isDefinedBy sh: .


sh:InConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "In constraint component"@en ;
	rdfs:comment "A constraint component that can be used to exclusively enumerate the permitted value nodes."@en ;
	sh:parameter sh:InConstraintComponent-in ;
	rdfs:isDefinedBy sh: .

sh:InConstraintComponent-in
	a sh:Parameter ;
	sh:path sh:in ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:in
	a rdf:Property ;
	rdfs:label "in"@en ;
	rdfs:comment "Specifies a list of allowed values so that each value node must be among the members of the given list."@en ;
	rdfs:range rdf:List ;
	rdfs:isDefinedBy sh: .


sh:LanguageInConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Language-in constraint component"@en ;
	rdfs:comment "A constraint component that can be used to enumerate language tags that all value nodes must have."@en ;
	sh:parameter sh:LanguageInConstraintComponent-languageIn ;
	rdfs:isDefinedBy sh: .

sh:LanguageInConstraintComponent-languageIn
	a sh:Parameter ;
	sh:path sh:languageIn ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:languageIn
	a rdf:Property ;
	rdfs:label "language in"@en ;
	rdfs:comment "Specifies a list of language tags that all value nodes must have."@en ;
	rdfs:range rdf:List ;   # members: xsd:string
	rdfs:isDefinedBy sh: .


sh:LessThanConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Less-than constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that each value node is smaller than all the nodes that can be reached from the focus node via a given property path."@en ;
	sh:parameter sh:LessThanConstraintComponent-lessThan ;
	rdfs:isDefinedBy sh: .

sh:LessThanConstraintComponent-lessThan
	a sh:Parameter ;
	sh:path sh:lessThan ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:lessThan
	a rdf:Property ;
	rdfs:label "less than"@en ;
	rdfs:comment "Specifies a property path that must have smaller values than the value nodes."@en ;
	rdfs:isDefinedBy sh: .


sh:LessThanOrEqualsConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Less-than-or-equals constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that every value node is smaller than all the nodes that can be reached from the focus node via a given property path."@en ;
	sh:parameter sh:LessThanOrEqualsConstraintComponent-lessThanOrEquals ;
	rdfs:isDefinedBy sh: .

sh:LessThanOrEqualsConstraintComponent-lessThanOrEquals
	a sh:Parameter ;
	sh:path sh:lessThanOrEquals ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:lessThanOrEquals
	a rdf:Property ;
	rdfs:label "less than or equals"@en ;
	rdfs:comment "Specifies a property path that must have smaller or equal values than the value nodes."@en ;
	rdfs:isDefinedBy sh: .


sh:MaxCountConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Max-count constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the maximum number of value nodes."@en ;
	sh:parameter sh:MaxCountConstraintComponent-maxCount ;
	rdfs:isDefinedBy sh: .

sh:MaxCountConstraintComponent-maxCount
	a sh:Parameter ;
	sh:path sh:maxCount ;
	sh:datatype xsd:integer ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:maxCount
	a rdf:Property ;
	rdfs:label "max count"@en ;
	rdfs:comment "Specifies the maximum number of values in the set of value nodes."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .


sh:MaxExclusiveConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Max-exclusive constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a maximum exclusive value."@en ;
	sh:parameter sh:MaxExclusiveConstraintComponent-maxExclusive ;
	rdfs:isDefinedBy sh: .

sh:MaxExclusiveConstraintComponent-maxExclusive
	a sh:Parameter ;
	sh:path sh:maxExclusive ;
	sh:maxCount 1 ;
	sh:nodeKind sh:Literal ;
	rdfs:isDefinedBy sh: .

sh:maxExclusive
	a rdf:Property ;
	rdfs:label "max exclusive"@en ;
	rdfs:comment "Specifies the maximum exclusive value of each value node."@en ;
	rdfs:isDefinedBy sh: .


sh:MaxInclusiveConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Max-inclusive constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a maximum inclusive value."@en ;
	sh:parameter sh:MaxInclusiveConstraintComponent-maxInclusive ;
	rdfs:isDefinedBy sh: .

sh:MaxInclusiveConstraintComponent-maxInclusive
	a sh:Parameter ;
	sh:path sh:maxInclusive ;
	sh:maxCount 1 ;
	sh:nodeKind sh:Literal ;
	rdfs:isDefinedBy sh: .

sh:maxInclusive
	a rdf:Property ;
	rdfs:label "max inclusive"@en ;
	rdfs:comment "Specifies the maximum inclusive value of each value node."@en ;
	rdfs:isDefinedBy sh: .


sh:MaxLengthConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Max-length constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the maximum string length of value nodes."@en ;
	sh:parameter sh:MaxLengthConstraintComponent-maxLength ;
	rdfs:isDefinedBy sh: .

sh:MaxLengthConstraintComponent-maxLength
	a sh:Parameter ;
	sh:path sh:maxLength ;
	sh:datatype xsd:integer ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:maxLength
	a rdf:Property ;
	rdfs:label "max length"@en ;
	rdfs:comment "Specifies the maximum string length of each value node."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .


sh:MinCountConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Min-count constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the minimum number of value nodes."@en ;
	sh:parameter sh:MinCountConstraintComponent-minCount ;
	rdfs:isDefinedBy sh: .

sh:MinCountConstraintComponent-minCount
	a sh:Parameter ;
	sh:path sh:minCount ;
	sh:datatype xsd:integer ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:minCount
	a rdf:Property ;
	rdfs:label "min count"@en ;
	rdfs:comment "Specifies the minimum number of values in the set of value nodes."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .


sh:MinExclusiveConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Min-exclusive constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a minimum exclusive value."@en ;
	sh:parameter sh:MinExclusiveConstraintComponent-minExclusive ;
	rdfs:isDefinedBy sh: .

sh:MinExclusiveConstraintComponent-minExclusive
	a sh:Parameter ;
	sh:path sh:minExclusive ;
	sh:maxCount 1 ;
	sh:nodeKind sh:Literal ;
	rdfs:isDefinedBy sh: .

sh:minExclusive
	a rdf:Property ;
	rdfs:label "min exclusive"@en ;
	rdfs:comment "Specifies the minimum exclusive value of each value node."@en ;
	rdfs:isDefinedBy sh: .


sh:MinInclusiveConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Min-inclusive constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the range of value nodes with a minimum inclusive value."@en ;
	sh:parameter sh:MinInclusiveConstraintComponent-minInclusive ;
	rdfs:isDefinedBy sh: .

sh:MinInclusiveConstraintComponent-minInclusive
	a sh:Parameter ;
	sh:path sh:minInclusive ;
	sh:maxCount 1 ;
	sh:nodeKind sh:Literal ;
	rdfs:isDefinedBy sh: .

sh:minInclusive
	a rdf:Property ;
	rdfs:label "min inclusive"@en ;
	rdfs:comment "Specifies the minimum inclusive value of each value node."@en ;
	rdfs:isDefinedBy sh: .


sh:MinLengthConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Min-length constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the minimum string length of value nodes."@en ;
	sh:parameter sh:MinLengthConstraintComponent-minLength ;
	rdfs:isDefinedBy sh: .

sh:MinLengthConstraintComponent-minLength
	a sh:Parameter ;
	sh:path sh:minLength ;
	sh:datatype xsd:integer ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:minLength
	a rdf:Property ;
	rdfs:label "min length"@en ;
	rdfs:comment "Specifies the minimum string length of each value node."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:MemberShapeConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Member shape constraint component"@en ;
	rdfs:comment "Can be used to specify constraints on the members of a given SHACL list. A violation is reported for each member of the list that does not comply with the constraints specified by the given shape. A violation is reported if the value is not a valid SHACL list."@en ;
	sh:parameter sh:MemberShapeConstraintComponent-memberShape ;
	rdfs:isDefinedBy sh: .

sh:MemberShapeConstraintComponent-memberShape
	a sh:Parameter ;
	sh:path sh:memberShape ;
	sh:node sh:NodeShape ;
	rdfs:isDefinedBy sh: .

sh:MinListLengthConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Minimum list length constraint component"@en ;
	rdfs:comment "Specifies the minimum length of a SHACL list. A violation is reported if the value is not a valid SHACL list."@en ;
	sh:parameter sh:MinListLengthConstraintComponent-minListLength ;
	rdfs:isDefinedBy sh: .

sh:MinListLengthConstraintComponent-minListLength
	a sh:Parameter ;
	sh:path sh:minListLength ;
	sh:datatype xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:MaxListLengthConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Maximum list length constraint component"@en ;
	rdfs:comment "Specifies the maximum length of a SHACL list. A violation is reported if the value is not a valid SHACL list."@en ;
	sh:parameter sh:MaxListLengthConstraintComponent-maxListLength ;
	rdfs:isDefinedBy sh: .

sh:MaxListLengthConstraintComponent-maxListLength
	a sh:Parameter ;
	sh:path sh:maxListLength ;
	sh:datatype xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:UniqueMembersConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Unique list members constraint component"@en ;
	rdfs:comment "Specifies that all members of a SHACL list must be unique. A violation is reported if the value is not a valid SHACL list."@en ;
	sh:parameter sh:UniqueMembersConstraintComponent-uniqueMembers ;
	rdfs:isDefinedBy sh: .

sh:UniqueMembersConstraintComponent-uniqueMembers
	a sh:Parameter ;
	sh:path sh:uniqueMembers ;
	sh:datatype xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:memberShape
	a rdf:Property ;
	rdfs:label "member shape"@en ;
	rdfs:comment "Specifies the shape that all members of SHACL lists must conform to."@en ;
	rdfs:range sh:NodeShape ;
	rdfs:isDefinedBy sh: .

sh:minListLength
	a rdf:Property ;
	rdfs:label "Minimum list length"@en ;
	rdfs:comment "Specifies the minimum length that a given SHACL list must have."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:maxListLength
	a rdf:Property ;
	rdfs:label "Maximum list length"@en ;
	rdfs:comment "Specifies the maximum length that a given SHACL list must have."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:uniqueMembers
	a rdf:Property ;
	rdfs:label "Unique list members"@en ;
	rdfs:comment "Specifies that all members of a SHACL list must be unique."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:NodeConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Node constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that all value nodes conform to the given node shape."@en ;
	sh:parameter sh:NodeConstraintComponent-node ;
	rdfs:isDefinedBy sh: .

sh:NodeConstraintComponent-node
	a sh:Parameter ;
	sh:path sh:node ;
	rdfs:isDefinedBy sh: .

sh:node
	a rdf:Property ;
	rdfs:label "node"@en ;
	rdfs:comment "Specifies the node shape that all value nodes must conform to."@en ;
	rdfs:range sh:NodeShape ;
	rdfs:isDefinedBy sh: .


sh:NodeKindConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Node-kind constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the RDF node kind of each value node."@en ;
	sh:parameter sh:NodeKindConstraintComponent-nodeKind ;
	rdfs:isDefinedBy sh: .

sh:NodeKindConstraintComponent-nodeKind
	a sh:Parameter ;
	sh:path sh:nodeKind ;
	sh:in ( sh:BlankNode sh:IRI sh:Literal sh:BlankNodeOrIRI sh:BlankNodeOrLiteral sh:IRIOrLiteral ) ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:nodeKind
	a rdf:Property ;
	rdfs:label "node kind"@en ;
	rdfs:comment "Specifies the node kind (e.g. IRI or literal) each value node."@en ;
	rdfs:range sh:NodeKind ;
	rdfs:isDefinedBy sh: .


sh:NotConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Not constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that value nodes do not conform to a given shape."@en ;
	sh:parameter sh:NotConstraintComponent-not ;
	rdfs:isDefinedBy sh: .

sh:NotConstraintComponent-not
	a sh:Parameter ;
	sh:path sh:not ;
	rdfs:isDefinedBy sh: .

sh:not
	a rdf:Property ;
	rdfs:label "not"@en ;
	rdfs:comment "Specifies a shape that the value nodes must not conform to."@en ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .


sh:OrConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Or constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the value nodes so that they conform to at least one out of several provided shapes."@en ;
	sh:parameter sh:OrConstraintComponent-or ;
	rdfs:isDefinedBy sh: .

sh:OrConstraintComponent-or
	a sh:Parameter ;
	sh:path sh:or ;
	rdfs:isDefinedBy sh: .

sh:or
	a rdf:Property ;
	rdfs:label "or"@en ;
	rdfs:comment "Specifies a list of shapes so that the value nodes must conform to at least one of the shapes."@en ;
	rdfs:range rdf:List ;    # members: sh:Shape ;
	rdfs:isDefinedBy sh: .


sh:PatternConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Pattern constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that every value node matches a given regular expression."@en ;
	sh:parameter sh:PatternConstraintComponent-pattern ;
	sh:parameter sh:PatternConstraintComponent-flags ;
	rdfs:isDefinedBy sh: .

sh:PatternConstraintComponent-pattern
	a sh:Parameter ;
	sh:path sh:pattern ;
	sh:datatype xsd:string ;
	rdfs:isDefinedBy sh: .

sh:PatternConstraintComponent-flags
	a sh:Parameter ;
	sh:path sh:flags ;
	sh:datatype xsd:string ;
	sh:optional true ;
	rdfs:isDefinedBy sh: .

sh:flags
	a rdf:Property ;
	rdfs:label "flags"@en ;
	rdfs:comment "An optional flag to be used with regular expression pattern matching."@en ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .

sh:pattern
	a rdf:Property ;
	rdfs:label "pattern"@en ;
	rdfs:comment "Specifies a regular expression pattern that the string representations of the value nodes must match."@en ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .


sh:PropertyConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Property constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that all value nodes conform to the given property shape."@en ;
	sh:parameter sh:PropertyConstraintComponent-property ;
	rdfs:isDefinedBy sh: .

sh:PropertyConstraintComponent-property
	a sh:Parameter ;
	sh:path sh:property ;
	rdfs:isDefinedBy sh: .

sh:property
	a rdf:Property ;
	rdfs:label "property"@en ;
	rdfs:comment "Links a shape to its property shapes."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range sh:PropertyShape ;
	rdfs:isDefinedBy sh: .


sh:QualifiedMaxCountConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Qualified-max-count constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that a specified maximum number of value nodes conforms to a given shape."@en ;
	sh:parameter sh:QualifiedMaxCountConstraintComponent-qualifiedMaxCount ;
	sh:parameter sh:QualifiedMaxCountConstraintComponent-qualifiedValueShape ;
	sh:parameter sh:QualifiedMaxCountConstraintComponent-qualifiedValueShapesDisjoint ;
	rdfs:isDefinedBy sh: .

sh:QualifiedMaxCountConstraintComponent-qualifiedMaxCount
	a sh:Parameter ;
	sh:path sh:qualifiedMaxCount ;
	sh:datatype xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:QualifiedMaxCountConstraintComponent-qualifiedValueShape
	a sh:Parameter ;
	sh:path sh:qualifiedValueShape ;
	rdfs:isDefinedBy sh: .

sh:QualifiedMaxCountConstraintComponent-qualifiedValueShapesDisjoint
	a sh:Parameter ;
	sh:path sh:qualifiedValueShapesDisjoint ;
	sh:datatype xsd:boolean ;
	sh:optional true ;
	rdfs:isDefinedBy sh: .


sh:QualifiedMinCountConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Qualified-min-count constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that a specified minimum number of value nodes conforms to a given shape."@en ;
	sh:parameter sh:QualifiedMinCountConstraintComponent-qualifiedMinCount ;
	sh:parameter sh:QualifiedMinCountConstraintComponent-qualifiedValueShape ;
	sh:parameter sh:QualifiedMinCountConstraintComponent-qualifiedValueShapesDisjoint ;
	rdfs:isDefinedBy sh: .

sh:QualifiedMinCountConstraintComponent-qualifiedMinCount
	a sh:Parameter ;
	sh:path sh:qualifiedMinCount ;
	sh:datatype xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:QualifiedMinCountConstraintComponent-qualifiedValueShape
	a sh:Parameter ;
	sh:path sh:qualifiedValueShape ;
	rdfs:isDefinedBy sh: .

sh:QualifiedMinCountConstraintComponent-qualifiedValueShapesDisjoint
	a sh:Parameter ;
	sh:path sh:qualifiedValueShapesDisjoint ;
	sh:datatype xsd:boolean ;
	sh:optional true ;
	rdfs:isDefinedBy sh: .

sh:qualifiedMaxCount
	a rdf:Property ;
	rdfs:label "qualified max count"@en ;
	rdfs:comment "The maximum number of value nodes that can conform to the shape."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:qualifiedMinCount
	a rdf:Property ;
	rdfs:label "qualified min count"@en ;
	rdfs:comment "The minimum number of value nodes that must conform to the shape."@en ;
	rdfs:range xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:qualifiedValueShape
	a rdf:Property ;
	rdfs:label "qualified value shape"@en ;
	rdfs:comment "The shape that a specified number of values must conform to."@en ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:qualifiedValueShapesDisjoint
	a rdf:Property ;
	rdfs:label "qualified value shapes disjoint"@en ;
	rdfs:comment "Can be used to mark the qualified value shape to be disjoint with its sibling shapes."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .


sh:ReifierShapeConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "ReifierShape constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that the reifier conforms to a given shape."@en ;
	sh:parameter sh:ReifierShapeConstraintComponent-reifierShape ;
	sh:parameter sh:ReifierShapeConstraintComponent-reificationRequired ;
	rdfs:isDefinedBy sh: .

sh:ReifierShapeConstraintComponent-reifierShape
	a sh:Parameter ;
	sh:path sh:reifierShape ;
	rdfs:isDefinedBy sh: .

sh:ReifierShapeConstraintComponent-reificationRequired
	a sh:Parameter ;
	sh:path sh:reificationRequired ;
	sh:datatype xsd:boolean ;
	sh:optional true ;
	rdfs:isDefinedBy sh: .

sh:reifierShape
	a rdf:Property ;
	rdfs:label "reifier shape"@en ;
	rdfs:comment "The shape that the reified triples must conform to."@en ;
	rdfs:range sh:NodeShape ;
	rdfs:isDefinedBy sh: .

sh:reificationRequired
	a rdf:Property ;
	rdfs:label "reification required"@en ;
	rdfs:comment "Can be used to mark the reification statements required."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .


sh:RootClassConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Root class constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that each value node is the given class or a (transitive) subclass of that class."@en ;
	sh:parameter sh:RootClassConstraintComponent-rootClass ;
	rdfs:isDefinedBy sh: .

sh:RootClassConstraintComponent-rootClass
	a sh:Parameter ;
	sh:path sh:rootClass ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:rootClass
	a rdf:Property ;
	rdfs:label "root class"@en ;
	rdfs:comment "Specifies a class so that each value node must be that class or a (transitive) subclass of that class."@en ;
	rdfs:isDefinedBy sh: .


sh:SingleLineConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Single line constraint component"@en ;
	rdfs:comment "A constraint component that can be used to specify that none of the value nodes may contain line breaks."@en ;
	sh:parameter sh:SingleLineConstraintComponent-singleLine ;
	rdfs:isDefinedBy sh: .

sh:SingleLineConstraintComponent-singleLine
	a sh:Parameter ;
	sh:path sh:singleLine ;
	sh:datatype xsd:boolean ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:singleLine
	a rdf:Property ;
	rdfs:label "single line"@en ;
	rdfs:comment "Specifies whether none of the value nodes may contain a line break."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .


sh:SomeValueConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Some value constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that at least one of the value nodes conform to the given shape."@en ;
	sh:parameter sh:SomeValueConstraintComponent-someValue ;
	rdfs:isDefinedBy sh: .

sh:SomeValueConstraintComponent-someValue
	a sh:Parameter ;
	sh:path sh:someValue ;
	rdfs:isDefinedBy sh: .

sh:someValue
	a rdf:Property ;
	rdfs:label "some value"@en ;
	rdfs:comment "Specifies the shape that at least one value node must conform to."@en ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .


sh:SubsetOfConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Subset-of constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that the set of value nodes is a subset of the set of nodes that can be reached from the focus node using a given property path."@en ;
	sh:parameter sh:SubsetOfConstraintComponent-subsetOf ;
	rdfs:isDefinedBy sh: .

sh:SubsetOfConstraintComponent-subsetOf
	a sh:Parameter ;
	sh:path sh:subsetOf ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:subsetOf
	a rdf:Property ;
	rdfs:label "subset of"@en ;
	rdfs:comment "Specifies a property path where the set of value nodes must be a subset of the values of that property path."@en ;
	rdfs:isDefinedBy sh: .


sh:UniqueLangConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Unique-languages constraint component"@en ;
	rdfs:comment "A constraint component that can be used to specify that no pair of value nodes may use the same language tag."@en ;
	sh:parameter sh:UniqueLangConstraintComponent-uniqueLang ;
	rdfs:isDefinedBy sh: .

sh:UniqueLangConstraintComponent-uniqueLang
	a sh:Parameter ;
	sh:path sh:uniqueLang ;
	sh:datatype xsd:boolean ;
	sh:maxCount 1 ;
	rdfs:isDefinedBy sh: .

sh:uniqueLang
	a rdf:Property ;
	rdfs:label "unique languages"@en ;
	rdfs:comment "Specifies whether all node values must have a unique (or no) language tag."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .


sh:UniqueValuesForConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Unique-values-for constraint component"@en ;
	rdfs:comment "A constraint component that can be used to ensure that no two nodes targeted by the same shape have the same combination of values for a given set of properties."@en ;
	sh:parameter sh:UniqueValuesForConstraintComponent-uniqueValuesFor ;
	rdfs:isDefinedBy sh: .

sh:UniqueValuesForConstraintComponent-uniqueValuesFor
	a sh:Parameter ;
	sh:path sh:uniqueValuesFor ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:uniqueValuesFor
	a rdf:Property ;
	rdfs:label "unique values for"@en ;
	rdfs:comment "Specifies one or more properties (as a URI or rdf:List of URIs) for which no two nodes targeted by the same shape may have the same combination of values."@en ;
	rdfs:isDefinedBy sh: .


sh:XoneConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Exactly one constraint component"@en ;
	rdfs:comment "A constraint component that can be used to restrict the value nodes so that they conform to exactly one out of several provided shapes."@en ;
	sh:parameter sh:XoneConstraintComponent-xone ;
	rdfs:isDefinedBy sh: .

sh:XoneConstraintComponent-xone
	a sh:Parameter ;
	sh:path sh:xone ;
	rdfs:isDefinedBy sh: .

sh:xone
	a rdf:Property ;
	rdfs:label "exactly one"@en ;
	rdfs:comment "Specifies a list of shapes so that the value nodes must conform to exactly one of the shapes."@en ;
	rdfs:range rdf:List ;    # members: sh:Shape ;
	rdfs:isDefinedBy sh: .


# Node Expressions ------------------------------------------------------------

sh:NodeExpressionFunction
	a rdfs:Class ;
	rdfs:label "Node expression function"@en ;
	rdfs:comment "The base (meta) class of node expression functions."@en ;
	rdfs:subClassOf rdfs:Class ;
	rdfs:isDefinedBy sh: .

sh:NamedParameterExpressionFunction
	a rdfs:Class ;
	rdfs:label "Named parameter expression function"@en ;
	rdfs:comment "The base class of node expression functions that take named parameters."@en ;
	rdfs:subClassOf sh:NodeExpressionFunction ;
	rdfs:subClassOf sh:Parameterizable ;
	rdfs:isDefinedBy sh: .

sh:keyParameter
    a rdf:Property ;
	rdfs:label "key parameter"@en ;
	rdfs:comment "Set to true for the parameter of a named parameter expression function that uniquely identifies it."@en ;
	rdfs:domain sh:Parameter ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:ListParameterExpressionFunction
	a rdfs:Class ;
	rdfs:label "List parameter expression function"@en ;
	rdfs:comment "The base class of node expression functions that take a list of parameters."@en ;
	rdfs:subClassOf sh:NodeExpressionFunction ;
	rdfs:isDefinedBy sh: .

sh:NodeExpression
	a rdfs:Class ;
	rdfs:label "Node expression"@en ;
	rdfs:comment "The base class of node expression (instances)."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:NamedParameterExpression
	a rdfs:Class ;
	rdfs:label "Named parameter expression"@en ;
	rdfs:comment "The base class of node expressions (instances) that take named parameters."@en ;
	rdfs:subClassOf sh:NodeExpression ;
	rdfs:isDefinedBy sh: .

sh:ListParameterExpression
	a rdfs:Class ;
	rdfs:label "List parameter expression"@en ;
	rdfs:comment "The base class of node expressions (instances) that take a list of parameters."@en ;
	rdfs:subClassOf sh:NodeExpression ;
	rdfs:isDefinedBy sh: .

sh:bodyExpression
    a rdf:Property ;
	rdfs:label "body expression"@en ;
	rdfs:comment "A node expression that is the implementation/body of a custom node expression function."@en ;
	rdfs:domain sh:NodeExpressionFunction ;
	rdfs:isDefinedBy sh: .


# General SPARQL execution support --------------------------------------------

sh:SPARQLExecutable
	a rdfs:Class ;
	rdfs:label "SPARQL executable"@en ;
	rdfs:comment "The class of resources that encapsulate a SPARQL query."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:SPARQLAskExecutable
	a rdfs:Class ;
	rdfs:label "SPARQL ASK executable"@en ;
	rdfs:comment "The class of SPARQL executables that are based on an ASK query."@en ;
	rdfs:subClassOf sh:SPARQLExecutable ;
	rdfs:isDefinedBy sh: .

sh:ask
	a rdf:Property ;
	rdfs:label "ask"@en ;
	rdfs:comment "The SPARQL ASK query to execute."@en ;
	rdfs:domain sh:SPARQLAskExecutable ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .

sh:SPARQLConstructExecutable
	a rdfs:Class ;
	rdfs:label "SPARQL CONSTRUCT executable"@en ;
	rdfs:comment "The class of SPARQL executables that are based on a CONSTRUCT query."@en ;
	rdfs:subClassOf sh:SPARQLExecutable ;
	rdfs:isDefinedBy sh: .

sh:construct
	a rdf:Property ;
	rdfs:label "construct"@en ;
	rdfs:comment "The SPARQL CONSTRUCT query to execute."@en ;
	rdfs:domain sh:SPARQLConstructExecutable ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .

sh:SPARQLSelectExecutable
	a rdfs:Class ;
	rdfs:label "SPARQL SELECT executable"@en ;
	rdfs:comment "The class of SPARQL executables based on a SELECT query."@en ;
	rdfs:subClassOf sh:SPARQLExecutable ;
	rdfs:isDefinedBy sh: .

sh:select
	a rdf:Property ;
	rdfs:label "select"@en ;
	rdfs:comment "The SPARQL SELECT query to execute."@en ;
	rdfs:range xsd:string ;
	rdfs:domain sh:SPARQLSelectExecutable ;
	rdfs:isDefinedBy sh: .

sh:SPARQLUpdateExecutable
	a rdfs:Class ;
	rdfs:label "SPARQL UPDATE executable"@en ;
	rdfs:comment "The class of SPARQL executables based on a SPARQL UPDATE."@en ;
	rdfs:subClassOf sh:SPARQLExecutable ;
	rdfs:isDefinedBy sh: .

sh:update
	a rdf:Property ;
	rdfs:label "update"@en ;
	rdfs:comment "The SPARQL UPDATE to execute."@en ;
	rdfs:domain sh:SPARQLUpdateExecutable ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .

sh:prefixes
	a rdf:Property ;
	rdfs:label "prefixes"@en ;
	rdfs:comment "The prefixes that shall be applied before parsing the associated SPARQL query. The objects should define those prefixes using sh:declare."@en ;
	rdfs:domain sh:SPARQLExecutable ;
	rdfs:isDefinedBy sh: .

sh:PrefixDeclaration
	a rdfs:Class ;
	rdfs:label "Prefix declaration"@en ;
	rdfs:comment "The class of prefix declarations, consisting of pairs of a prefix with a namespace."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:declare
	a rdf:Property ;
	rdfs:label "declare"@en ;
	rdfs:comment "Links a resource with its namespace prefix declarations."@en ;
	rdfs:range sh:PrefixDeclaration ;
	rdfs:isDefinedBy sh: .

sh:prefix
	a rdf:Property ;
	rdfs:label "prefix"@en ;
	rdfs:comment "The prefix of a prefix declaration."@en ;
	rdfs:domain sh:PrefixDeclaration ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .

sh:namespace
	a rdf:Property ;
	rdfs:label "namespace"@en ;
	rdfs:comment "The namespace associated with a prefix in a prefix declaration."@en ;
	rdfs:domain sh:PrefixDeclaration ;
	rdfs:range xsd:anyURI ;
	rdfs:isDefinedBy sh: .


# SPARQL-based Constraints support --------------------------------------------

sh:SPARQLConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "SPARQL constraint component"@en ;
	rdfs:comment "A constraint component that can be used to define constraints based on SPARQL queries."@en ;
	sh:parameter sh:SPARQLConstraintComponent-sparql ;
	rdfs:isDefinedBy sh: .

sh:SPARQLConstraintComponent-sparql
	a sh:Parameter ;
	sh:path sh:sparql ;
	rdfs:isDefinedBy sh: .

sh:sparql
	a rdf:Property ;
	rdfs:label "constraint (in SPARQL)"@en ;
	rdfs:comment "Links a shape with SPARQL constraints."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range sh:SPARQLConstraint ;
	rdfs:isDefinedBy sh: .

sh:SPARQLConstraint
	a rdfs:Class ;
	rdfs:label "SPARQL constraint"@en ;
	rdfs:comment "The class of constraints based on SPARQL SELECT queries."@en ;
	rdfs:subClassOf sh:SPARQLSelectExecutable ;
	rdfs:isDefinedBy sh: .


# SPARQL-based Node Expressions -----------------------------------------------

sh:SelectExpression
	a sh:NamedParameterExpressionFunction ;
	rdfs:label "Select expression"@en ;
	rdfs:comment "The class of node expressions based on SPARQL SELECT queries."@en ;
	rdfs:subClassOf sh:NamedParameterExpression ;
	rdfs:subClassOf sh:SPARQLSelectExecutable ;
	sh:parameter sh:SelectExpression-select ;
	sh:parameter sh:SelectExpression-prefixes ;
	rdfs:isDefinedBy sh: .

sh:SelectExpression-select
	a sh:Parameter ;
	sh:path sh:select ;
	sh:name "select"@en ;
	sh:description "The SELECT query that is executed during evaluation of this node expression. The output nodes are the bindings of the first result variable."@en ;
	sh:keyParameter true ;
	sh:datatype xsd:string ;
	rdfs:isDefinedBy sh: .

sh:SelectExpression-prefixes
	a sh:Parameter ;
	sh:path sh:prefixes ;
	sh:name "prefixes"@en ;
	sh:description "The prefixes that shall be applied before parsing the associated SPARQL query. The object should define those prefixes using sh:declare."@en ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:SPARQLExprExpression
	a sh:NamedParameterExpressionFunction ;
	rdfs:label "SPARQL expr expression"@en ;
	rdfs:comment "The class of node expressions based on SPARQL expressions (sh:sparqlExpr)."@en ;
	rdfs:subClassOf sh:NamedParameterExpression ;
	rdfs:subClassOf sh:SPARQLExecutable ;
	sh:parameter sh:SPARQLExprExpression-sparqlExpr ;
	sh:parameter sh:SPARQLExprExpression-prefixes ;
	rdfs:isDefinedBy sh: .

sh:SPARQLExprExpression-sparqlExpr
	a sh:Parameter ;
	sh:path sh:sparqlExpr ;
	sh:name "SPARQL expr"@en ;
	sh:description "The SPARQL expression that is executed during evaluation of this node expression."@en ;
	sh:keyParameter true ;
	sh:datatype xsd:string ;
	rdfs:isDefinedBy sh: .

sh:SPARQLExprExpression-prefixes
	a sh:Parameter ;
	sh:path sh:prefixes ;
	sh:name "prefixes"@en ;
	sh:description "The prefixes that shall be applied before parsing the SPARQL query that gets derived from the sh:sparqlExpr expression. The object should define those prefixes using sh:declare."@en ;
	sh:nodeKind sh:BlankNodeOrIRI ;
	rdfs:isDefinedBy sh: .

sh:sparqlExpr
	a rdf:Property ;
	rdfs:label "SPARQL expr"@en ;
	rdfs:comment "The SPARQL expression that is executed during evaluation of a node expression."@en ;
	rdfs:domain sh:SPARQLExprExpression ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .


# SPARQL-based Result Annotations ---------------------------------------------

sh:resultAnnotation
	a rdf:Property ;
	rdfs:label "result annotation"@en ;
	rdfs:comment "Links a SPARQL validator with zero or more sh:ResultAnnotation instances, defining how to derive additional result properties based on the variables of the SELECT query."@en ;
	rdfs:domain sh:SPARQLSelectValidator ;
	rdfs:range sh:ResultAnnotation ;
	rdfs:isDefinedBy sh: .

sh:ResultAnnotation
	a rdfs:Class ;
	rdfs:label "Result annotation"@en ;
	rdfs:comment "A class of result annotations, which define the rules to derive the values of a given annotation property as extra values for a validation result."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:annotationProperty
	a rdf:Property ;
	rdfs:label "annotation property"@en ;
	rdfs:comment "The annotation property that shall be set."@en ;
	rdfs:domain sh:ResultAnnotation ;
	rdfs:range rdf:Property ;
	rdfs:isDefinedBy sh: .

sh:annotationValue
	a rdf:Property ;
	rdfs:label "annotation value"@en ;
	rdfs:comment "The (default) values of the annotation property."@en ;
	rdfs:domain sh:ResultAnnotation ;
	rdfs:isDefinedBy sh: .

sh:annotationVarName
	a rdf:Property ;
	rdfs:label "annotation variable name"@en ;
	rdfs:comment "The name of the SPARQL variable from the SELECT clause that shall be used for the values."@en ;
	rdfs:domain sh:ResultAnnotation ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .


# Constraints based on Node Expressions ---------------------------------------

sh:ExpressionConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Expression constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that a given node expression produces true for all value nodes."@en ;
	sh:parameter sh:ExpressionConstraintComponent-expression ;
	rdfs:isDefinedBy sh: .

sh:ExpressionConstraintComponent-expression
	a sh:Parameter ;
	sh:path sh:expression ;
	rdfs:isDefinedBy sh: .

sh:expression
	a rdf:Property ;
	rdfs:label "expression"@en ;
	rdfs:comment "The node expression that must return true for the value nodes."@en ;
	rdfs:isDefinedBy sh: .


sh:NodeByExpressionConstraintComponent
	a sh:ConstraintComponent ;
	rdfs:label "Node by expression constraint component"@en ;
	rdfs:comment "A constraint component that can be used to verify that all value nodes conform to the node shape(s) produced by the given node expression."@en ;
	sh:parameter sh:NodeByExpressionConstraintComponent-nodeByExpression ;
	rdfs:isDefinedBy sh: .

sh:NodeByExpressionConstraintComponent-nodeByExpression
	a sh:Parameter ;
	sh:path sh:nodeByExpression ;
	rdfs:isDefinedBy sh: .

sh:nodeByExpression
	a rdf:Property ;
	rdfs:label "node by expression"@en ;
	rdfs:comment "Links a shape to node expressions, indicating the node shape(s) that all value nodes must conform to."@en ;
	# rdfs:range sh:NodeShape ; (node expression)
	rdfs:isDefinedBy sh: .


# Non-validating constraint properties ----------------------------------------

sh:agentInstruction
	a rdf:Property ;
	rdfs:label "agent instruction"@en ;
	rdfs:comment "Can be used to store instructions that shall be sent as input for external agents that understand natural language."@en ;
	# range: xsd:string or rdf:langString or rdf:dirLangString
	rdfs:isDefinedBy sh: .

sh:codeIdentifier
	a rdf:Property ;
	rdfs:label "code identifier"@en ;
	rdfs:comment "A hint on how code generators should represent the associated shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range xsd:string ;
	rdfs:isDefinedBy sh: .

sh:defaultValue
	a rdf:Property ;
	rdfs:label "default value"@en ;
	rdfs:comment "A default value for a property, for example for user interface tools to pre-populate input fields."@en ;
	rdfs:domain sh:PropertyShape ;
	rdfs:isDefinedBy sh: .

sh:description
	a rdf:Property ;
	rdfs:label "description"@en ;
	rdfs:comment "Human-readable descriptions for the property in the context of the surrounding shape."@en ;
	rdfs:domain sh:PropertyShape ;
	# range: xsd:string or rdf:dirLangString or rdf:langString or rdf:HTML
	rdfs:isDefinedBy sh: .

sh:formalized
	a rdf:Property ;
	rdfs:label "formalized"@en ;
	rdfs:comment "Can be used as reification of sh:intent triples to indicate whether the intended interpretation has already been formalized using SHACL in the same shapes graph."@en ;
	rdfs:range xsd:boolean ;
	rdfs:isDefinedBy sh: .

sh:group
	a rdf:Property ;
	rdfs:label "group"@en ;
	rdfs:comment "Can be used to link to a property group to indicate that a property shape belongs to a group of related property shapes."@en ;
	rdfs:domain sh:PropertyShape ;
	rdfs:range sh:PropertyGroup ;
	rdfs:isDefinedBy sh: .

sh:intent
	a rdf:Property ;
	rdfs:label "intent"@en ;
	rdfs:comment "Provides human-readable descriptions of one or more intended rules, assumptions, or constraints associated with its subject (e.g., a shape). Can be used as input for external agents that understand natural language."@en ;
	# range: xsd:string or rdf:langString or rdf:dirLangString
	rdfs:isDefinedBy sh: .

sh:name
	a rdf:Property ;
	rdfs:label "name"@en ;
	rdfs:comment "Human-readable labels for the property in the context of the surrounding shape."@en ;
	rdfs:domain sh:PropertyShape ;
	# range: xsd:string or rdf:dirLangString or rdf:langString
	rdfs:isDefinedBy sh: .

sh:order
	a rdf:Property ;
	rdfs:label "order"@en ;
	rdfs:comment "Specifies the relative order of this compared to its siblings. For example use 0 for the first, 1 for the second."@en ;
	# range: xsd:decimal or xsd:integer ;
	rdfs:isDefinedBy sh: .

sh:unit
	a rdf:Property ;
	rdfs:label "unit"@en ;
	rdfs:comment "The code of a unit that the (literal) value nodes should be interpreted with. Recommended values are plain strings from the UCUM and ISO 4217 standards for units of measure and currencies respectively, or unit URIs from QUDT or a similar ontology."@en ;
	rdfs:domain sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:PropertyGroup
	a rdfs:Class ;
	rdfs:label "Property group"@en ;
	rdfs:comment "Instances of this class represent groups of property shapes that belong together."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .


# -----------------------------------------------------------------------------
# SHACL ADVANCED FEATURES (will likely be marked deprecated with 1.2)
# -----------------------------------------------------------------------------


# Advanced Target vocabulary --------------------------------------------------

sh:target
	a rdf:Property ;
	rdfs:label "target"@en ;
	rdfs:comment "Links a shape to a target specified by an extension language, for example instances of sh:SPARQLTarget."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range sh:Target ;
	rdfs:isDefinedBy sh: .

sh:Target
	a rdfs:Class ;
	rdfs:label "Target"@en ;
	rdfs:comment "The base class of targets such as those based on SPARQL queries."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:TargetType
	a rdfs:Class ;
	rdfs:label "Target type"@en ;
	rdfs:comment "The (meta) class for parameterizable targets.	Instances of this are instantiated as values of the sh:target property."@en ;
	rdfs:subClassOf rdfs:Class ;
	rdfs:subClassOf sh:Parameterizable ;
	rdfs:isDefinedBy sh: .

sh:SPARQLTarget
	a rdfs:Class ;
	rdfs:label "SPARQL target"@en ;
	rdfs:comment "The class of targets that are based on SPARQL queries."@en ;
	rdfs:subClassOf sh:Target ;
	rdfs:subClassOf sh:SPARQLAskExecutable ;
	rdfs:subClassOf sh:SPARQLSelectExecutable ;
	rdfs:isDefinedBy sh: .

sh:SPARQLTargetType
	a rdfs:Class ;
	rdfs:label "SPARQL target type"@en ;
	rdfs:comment "The (meta) class for parameterizable targets that are based on SPARQL queries."@en ;
	rdfs:subClassOf sh:TargetType ;
	rdfs:subClassOf sh:SPARQLAskExecutable ;
	rdfs:subClassOf sh:SPARQLSelectExecutable ;
	rdfs:isDefinedBy sh: .


# Functions Vocabulary --------------------------------------------------------

sh:Function
	a rdfs:Class ;
	rdfs:label "Function"@en ;
	rdfs:comment "The class of SHACL functions."@en ;
	rdfs:subClassOf sh:Parameterizable ;
	rdfs:isDefinedBy sh: .

sh:returnType
	a rdf:Property ;
	rdfs:label "return type"@en ;
	rdfs:comment "The expected type of values returned by the associated function."@en ;
	rdfs:domain sh:Function ;
	rdfs:range rdfs:Class ;
	rdfs:isDefinedBy sh: .

sh:SPARQLFunction
	a rdfs:Class ;
	rdfs:label "SPARQL function"@en ;
	rdfs:comment "A function backed by a SPARQL query - either ASK or SELECT."@en ;
	rdfs:subClassOf sh:Function ;
	rdfs:subClassOf sh:SPARQLAskExecutable ;
	rdfs:subClassOf sh:SPARQLSelectExecutable ;
	rdfs:isDefinedBy sh: .


# Node Expressions ------------------------------------------------------------

sh:this
	rdfs:comment "Deprecated with SHACL 1.2: replaced by shnex:var."@en .

sh:filterShape
	rdfs:comment "Deprecated with SHACL 1.2: replaced by shnex:filterShape."@en .

sh:nodes
	rdfs:comment "Deprecated with SHACL 1.2: replaced by shnex:nodes."@en .

sh:intersection
	rdfs:comment "Deprecated with SHACL 1.2: replaced by shnex:intersection."@en .

sh:union
	rdfs:comment "Deprecated with SHACL 1.2: replaced by shnex:concat."@en .

sh:minus
	rdfs:comment "Deprecated with SHACL 1.2: replaced by shnex:remove."@en .


# Rules -----------------------------------------------------------------------

sh:Rule
	a rdfs:Class ;
	rdfs:label "Rule"@en ;
	rdfs:comment "The class of SHACL rules. Never instantiated directly."@en ;
	rdfs:subClassOf rdfs:Resource ;
	rdfs:isDefinedBy sh: .

sh:rule
	a rdf:Property ;
	rdfs:label "rule"@en ;
	rdfs:comment "The rules linked to a shape."@en ;
	rdfs:domain sh:Shape ;
	rdfs:range sh:Rule ;
	rdfs:isDefinedBy sh:  .

sh:condition
	a rdf:Property ;
	rdfs:label "condition"@en ;
	rdfs:comment "The shapes that the focus nodes need to conform to before a rule is executed on them."@en ;
	rdfs:domain sh:Rule ;
	rdfs:range sh:Shape ;
	rdfs:isDefinedBy sh: .

sh:TripleRule
	a rdfs:Class ;
	rdfs:label "Triple rule"@en ;
	rdfs:comment "A rule based on triple (subject, predicate, object) pattern."@en ;
	rdfs:subClassOf sh:Rule ;
	rdfs:isDefinedBy sh: .

sh:subject
	a rdf:Property ;
	rdfs:label "subject"@en ;
	rdfs:comment "An expression producing the resources that shall be inferred as subjects."@en ;
	rdfs:domain sh:TripleRule ;
	rdfs:isDefinedBy sh: .

sh:predicate
	a rdf:Property ;
	rdfs:label "predicate"@en ;
	rdfs:comment "An expression producing the properties that shall be inferred as predicates."@en ;
	rdfs:domain sh:TripleRule ;
	rdfs:isDefinedBy sh: .

sh:object
	a rdf:Property ;
	rdfs:label "object"@en ;
	rdfs:comment "An expression producing the nodes that shall be inferred as objects."@en ;
	rdfs:domain sh:TripleRule ;
	rdfs:isDefinedBy sh: .

sh:SPARQLRule
	a rdfs:Class ;
	rdfs:label "SPARQL CONSTRUCT rule"@en ;
	rdfs:comment "The class of SHACL rules based on SPARQL CONSTRUCT queries."@en ;
	rdfs:subClassOf sh:Rule ;
	rdfs:subClassOf sh:SPARQLConstructExecutable ;
	rdfs:isDefinedBy sh: .