W3C Shapes Constraint Language (SHACL) Vocabulary
type: Ontology
version IRI: http://www.w3.org/ns/shacl#1.2
comment: This vocabulary defines terms used in SHACL, the W3C Shapes Constraint Language.
creator: W3C Data Shapes Working Group
publisher: World Wide Web Consortium
license: https://www.w3.org/copyright/software-license/
declare:
  prefix: sh
  namespace: W3C Shapes Constraint Language (SHACL) Vocabulary
suggested shapes graph: shacl-shacl#

Shape
type: Class
comment: A shape is a collection of constraints that may be targeted for certain nodes.
subclass of: Resource

Node shape
type: Class
comment: A node shape is a shape that specifies constraints that need to be met with respect to focus nodes.
subclass of: Shape

Property shape
type: Class
comment: A property shape is a shape that specifies constraints on the values of a focus node for a given property or path.
subclass of: Shape

Shape class
type: Class
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.
subclass of: Class
subclass of: Node shape

deactivated
type: Property
comment: If set to true then all nodes conform to this.

target class
type: Property
comment: Links a shape to a class, indicating that all instances of the class must conform to the shape.
domain: Shape
range: Class

target node
type: Property
comment: Links a shape to node expressions, indicating that the output nodes must conform to the shape.
domain: Shape

target objects of
type: Property
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.
domain: Shape
range: Property

target subjects of
type: Property
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.
domain: Shape
range: Property

target where
type: Property
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.
domain: Shape
range: Shape

message
type: Property
comment: A human-readable message (possibly with placeholders for variables) explaining the cause of the result.

severity
type: Property
comment: Defines the severity that validation results produced by a shape or constraint must have. Defaults to sh:Violation.
range: Severity

shape
type: Property
comment: Links from a node in the data graph to a shape that it is expected to conform to.
range: Shape

Node kind
type: Class
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.
subclass of: Resource

Blank node
type: Node kind
comment: The node kind of all blank nodes.

Blank node or IRI
type: Node kind
comment: The node kind of all blank nodes or IRIs.

Blank node or literal
type: Node kind
comment: The node kind of all blank nodes or literals.

IRI
type: Node kind
comment: The node kind of all IRIs.

IRI or literal
type: Node kind
comment: The node kind of all IRIs or literals.

Literal
type: Node kind
comment: The node kind of all literals.

Triple term
type: Node kind
comment: The node kind of all triple terms.

Graph
type: Class
comment: The class of graphs.
subclass of: Ontology

Data graph
type: Class
comment: The class of graphs that typically act in the role of a SHACL data graph.
subclass of: Graph

Shapes graph
type: Class
comment: The class of graphs that typically act in the role of a SHACL shapes graph.
subclass of: Graph

Validation report
type: Class
comment: The class of SHACL validation reports.
subclass of: Resource

conforms
type: Property
comment: True if the validation did not produce any validation results with a severity level of the set of disallowed levels, and false otherwise.
domain: Validation report
range: boolean

conforms to
type: Property
comment: The subject conforms to the object if validation did not produce any validation results with a severity level of the set of disallowed levels.
domain: Data graph
range: Shapes graph

conformance disallows
type: Property
comment: Severity levels that are evaluated in the conformance check.
domain: Validation report
range: Severity

validation report
type: Property
comment: A Validation Report that exists for the subject.
domain: Data graph
range: Validation report

result
type: Property
comment: The validation results contained in a validation report.
domain: Validation report
range: Validation result

shapes graph well-formed
type: Property
comment: If true then the validation engine was certain that the shapes graph has passed all SHACL syntax requirements during the validation process.
domain: Validation report
range: boolean

used shapes graph
type: Property
comment: The subject Validation Report was generated using the object Shapes Graph.
domain: Validation report
range: Shapes graph

Abstract result
type: Class
comment: The base class of validation results, typically not instantiated directly.
subclass of: Resource

Validation result
type: Class
comment: The class of validation results.
subclass of: Abstract result

Severity
type: Class
comment: The class of validation result severity levels, including violation and warning levels.
subclass of: Resource

Trace
type: Severity
comment: The severity for a trace validation result.

Debug
type: Severity
comment: The severity for a debug validation result.

Info
type: Severity
comment: The severity for an informational validation result.

Violation
type: Severity
comment: The severity for a violation validation result.

Warning
type: Severity
comment: The severity for a warning validation result.

detail
type: Property
comment: Links a result with other results that provide more details, for example to describe violations against nested shapes.
domain: Abstract result
range: Abstract result

focus node
type: Property
comment: The focus node that was validated when the result was produced.
domain: Abstract result

result message
type: Property
comment: Human-readable messages explaining the cause of the result.
domain: Abstract result

result path
type: Property
comment: The path of a validation result, based on the path of the validated property shape.
domain: Abstract result
range: Resource

result severity
type: Property
comment: The severity of the result, e.g. warning.
domain: Abstract result
range: Severity

source constraint
type: Property
comment: The constraint that was validated when the result was produced.
domain: Abstract result

source shape
type: Property
comment: The shape that is was validated when the result was produced.
domain: Abstract result
range: Shape

source constraint component
type: Property
comment: The constraint component that is the source of the result.
domain: Abstract result
range: Constraint component

value
type: Property
comment: An RDF node that has caused the result.
domain: Abstract result

shapes graph
type: Property
comment: Shapes graphs that should be used when validating this data graph.
domain: Data graph
range: Shapes graph

suggested shapes graph
type: Property
comment: Suggested shapes graphs for this ontology. The values of this property may be used in the absence of specific sh:shapesGraph statements.
domain: Data graph
range: Shapes graph

entailment
type: Property
comment: An entailment regime that indicates what kind of inferencing is required by a shapes graph.
domain: Shapes graph
range: Resource

path
type: Property
comment: Specifies the property path of a property shape.
domain: Property shape

inverse path
type: Property
comment: The (single) value of this property represents an inverse path (object to subject).
range: Resource

alternative path
type: Property
comment: The (single) value of this property must be a list of path elements, representing the elements of alternative paths.
range: List

zero or more path
type: Property
comment: The (single) value of this property represents a path that is matched zero or more times.
range: Resource

one or more path
type: Property
comment: The (single) value of this property represents a path that is matched one or more times.
range: Resource

zero or one path
type: Property
comment: The (single) value of this property represents a path that is matched zero or one times.
range: Resource

Parameterizable
type: Class
comment: Superclass of components that can take parameters, especially functions and constraint components.
subclass of: Resource

parameter
type: Property
comment: The parameters of a function or constraint component.
domain: Parameterizable
range: Parameter

label template
type: Property
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.
domain: Parameterizable

Parameter
type: Class
comment: The class of parameter declarations, consisting of a path predicate and (possibly) information about allowed value type, cardinality and other characteristics.
subclass of: Property shape

optional
type: Property
comment: Indicates whether a parameter is optional.
domain: Parameter
range: boolean

Constraint component
type: Class
comment: The class of constraint components.
subclass of: Parameterizable

validator
type: Property
comment: The validator(s) used to evaluate constraints of either node or property shapes.
domain: Constraint component
range: Validator

node validator
type: Property
comment: The validator(s) used to evaluate a constraint in the context of a node shape.
domain: Constraint component
range: Validator

property validator
type: Property
comment: The validator(s) used to evaluate a constraint in the context of a property shape.
domain: Constraint component
range: Validator

Validator
type: Class
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.
subclass of: Resource

SPARQL ASK validator
type: Class
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.
subclass of: Validator
subclass of: SPARQL ASK executable

SPARQL SELECT validator
type: Class
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.
subclass of: Validator
subclass of: SPARQL SELECT executable

And constraint component
type: Constraint component
comment: A constraint component that can be used to test whether a value node conforms to all members of a provided list of shapes.
parameter: AndConstraintComponent-and

and
type: Property
comment: RDF list of shapes to validate the value nodes against.
range: List

Class constraint component
type: Constraint component
comment: A constraint component that can be used to verify that each value node is an instance of a given type.
parameter: ClassConstraintComponent-class

class
type: Property
comment: The type that all value nodes must have.

Closed constraint component
type: Constraint component
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.
parameter: ClosedConstraintComponent-closed
parameter: ClosedConstraintComponent-ignoredProperties

ClosedConstraintComponent-ignoredProperties
type: Parameter
path: ignored properties
optional: true

closed
type: Property
comment: If set to true then the shape is closed.
range: boolean

ignored properties
type: Property
comment: An optional RDF list of properties that are also permitted in addition to those explicitly enumerated via sh:property/sh:path.
range: List

Datatype constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the datatype of all value nodes.
parameter: DatatypeConstraintComponent-datatype

DatatypeConstraintComponent-datatype
type: Parameter
path: datatype
node kind: Blank node or IRI
max count: 1

datatype
type: Property
comment: Specifies an RDF datatype that all value nodes must have.

Disjoint constraint component
type: Constraint component
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.
parameter: DisjointConstraintComponent-disjoint

disjoint
type: Property
comment: Specifies a property path where the set of values must be disjoint with the value nodes.

Equals constraint component
type: Constraint component
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.
parameter: EqualsConstraintComponent-equals

equals
type: Property
comment: Specifies a property path that must have the same values as the value nodes.

Has-value constraint component
type: Constraint component
comment: A constraint component that can be used to verify that one of the value nodes is a given RDF node.
parameter: HasValueConstraintComponent-hasValue

has value
type: Property
comment: Specifies a value that must be among the value nodes.

In constraint component
type: Constraint component
comment: A constraint component that can be used to exclusively enumerate the permitted value nodes.
parameter: InConstraintComponent-in

InConstraintComponent-in
type: Parameter
path: in
max count: 1

in
type: Property
comment: Specifies a list of allowed values so that each value node must be among the members of the given list.
range: List

Language-in constraint component
type: Constraint component
comment: A constraint component that can be used to enumerate language tags that all value nodes must have.
parameter: LanguageInConstraintComponent-languageIn

LanguageInConstraintComponent-languageIn
type: Parameter
path: language in
max count: 1

language in
type: Property
comment: Specifies a list of language tags that all value nodes must have.
range: List

Less-than constraint component
type: Constraint component
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.
parameter: LessThanConstraintComponent-lessThan

less than
type: Property
comment: Specifies a property path that must have smaller values than the value nodes.

Less-than-or-equals constraint component
type: Constraint component
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.
parameter: LessThanOrEqualsConstraintComponent-lessThanOrEquals

less than or equals
type: Property
comment: Specifies a property path that must have smaller or equal values than the value nodes.

Max-count constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the maximum number of value nodes.
parameter: MaxCountConstraintComponent-maxCount

MaxCountConstraintComponent-maxCount
type: Parameter
path: max count
datatype: integer
max count: 1

max count
type: Property
comment: Specifies the maximum number of values in the set of value nodes.
range: integer

Max-exclusive constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the range of value nodes with a maximum exclusive value.
parameter: MaxExclusiveConstraintComponent-maxExclusive

MaxExclusiveConstraintComponent-maxExclusive
type: Parameter
path: max exclusive
max count: 1
node kind: Literal

max exclusive
type: Property
comment: Specifies the maximum exclusive value of each value node.

Max-inclusive constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the range of value nodes with a maximum inclusive value.
parameter: MaxInclusiveConstraintComponent-maxInclusive

MaxInclusiveConstraintComponent-maxInclusive
type: Parameter
path: max inclusive
max count: 1
node kind: Literal

max inclusive
type: Property
comment: Specifies the maximum inclusive value of each value node.

Max-length constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the maximum string length of value nodes.
parameter: MaxLengthConstraintComponent-maxLength

MaxLengthConstraintComponent-maxLength
type: Parameter
path: max length
datatype: integer
max count: 1

max length
type: Property
comment: Specifies the maximum string length of each value node.
range: integer

Min-count constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the minimum number of value nodes.
parameter: MinCountConstraintComponent-minCount

MinCountConstraintComponent-minCount
type: Parameter
path: min count
datatype: integer
max count: 1

min count
type: Property
comment: Specifies the minimum number of values in the set of value nodes.
range: integer

Min-exclusive constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the range of value nodes with a minimum exclusive value.
parameter: MinExclusiveConstraintComponent-minExclusive

MinExclusiveConstraintComponent-minExclusive
type: Parameter
path: min exclusive
max count: 1
node kind: Literal

min exclusive
type: Property
comment: Specifies the minimum exclusive value of each value node.

Min-inclusive constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the range of value nodes with a minimum inclusive value.
parameter: MinInclusiveConstraintComponent-minInclusive

MinInclusiveConstraintComponent-minInclusive
type: Parameter
path: min inclusive
max count: 1
node kind: Literal

min inclusive
type: Property
comment: Specifies the minimum inclusive value of each value node.

Min-length constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the minimum string length of value nodes.
parameter: MinLengthConstraintComponent-minLength

MinLengthConstraintComponent-minLength
type: Parameter
path: min length
datatype: integer
max count: 1

min length
type: Property
comment: Specifies the minimum string length of each value node.
range: integer

Member shape constraint component
type: Constraint component
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.
parameter: MemberShapeConstraintComponent-memberShape

Minimum list length constraint component
type: Constraint component
comment: Specifies the minimum length of a SHACL list. A violation is reported if the value is not a valid SHACL list.
parameter: MinListLengthConstraintComponent-minListLength

Maximum list length constraint component
type: Constraint component
comment: Specifies the maximum length of a SHACL list. A violation is reported if the value is not a valid SHACL list.
parameter: MaxListLengthConstraintComponent-maxListLength

Unique list members constraint component
type: Constraint component
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.
parameter: UniqueMembersConstraintComponent-uniqueMembers

member shape
type: Property
comment: Specifies the shape that all members of SHACL lists must conform to.
range: Node shape

Minimum list length
type: Property
comment: Specifies the minimum length that a given SHACL list must have.
range: integer

Maximum list length
type: Property
comment: Specifies the maximum length that a given SHACL list must have.
range: integer

Unique list members
type: Property
comment: Specifies that all members of a SHACL list must be unique.
range: boolean

Node constraint component
type: Constraint component
comment: A constraint component that can be used to verify that all value nodes conform to the given node shape.
parameter: NodeConstraintComponent-node

node
type: Property
comment: Specifies the node shape that all value nodes must conform to.
range: Node shape

Node-kind constraint component
type: Constraint component
comment: A constraint component that can be used to restrict the RDF node kind of each value node.
parameter: NodeKindConstraintComponent-nodeKind

NodeKindConstraintComponent-nodeKind
type: Parameter
path: node kind
in: Blank node
in: IRI
in: Literal
in: Blank node or IRI
in: Blank node or literal
in: IRI or literal
max count: 1

node kind
type: Property
comment: Specifies the node kind (e.g. IRI or literal) each value node.
range: Node kind

Not constraint component
type: Constraint component
comment: A constraint component that can be used to verify that value nodes do not conform to a given shape.
parameter: NotConstraintComponent-not

not
type: Property
comment: Specifies a shape that the value nodes must not conform to.
range: Shape

Or constraint component
type: Constraint component
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.
parameter: OrConstraintComponent-or

or
type: Property
comment: Specifies a list of shapes so that the value nodes must conform to at least one of the shapes.
range: List

Pattern constraint component
type: Constraint component
comment: A constraint component that can be used to verify that every value node matches a given regular expression.
parameter: PatternConstraintComponent-pattern
parameter: PatternConstraintComponent-flags

PatternConstraintComponent-flags
type: Parameter
path: flags
datatype: string
optional: true

flags
type: Property
comment: An optional flag to be used with regular expression pattern matching.
range: string

pattern
type: Property
comment: Specifies a regular expression pattern that the string representations of the value nodes must match.
range: string

Property constraint component
type: Constraint component
comment: A constraint component that can be used to verify that all value nodes conform to the given property shape.
parameter: PropertyConstraintComponent-property

property
type: Property
comment: Links a shape to its property shapes.
domain: Shape
range: Property shape

Qualified-max-count constraint component
type: Constraint component
comment: A constraint component that can be used to verify that a specified maximum number of value nodes conforms to a given shape.
parameter: QualifiedMaxCountConstraintComponent-qualifiedMaxCount
parameter: QualifiedMaxCountConstraintComponent-qualifiedValueShape
parameter: QualifiedMaxCountConstraintComponent-qualifiedValueShapesDisjoint

QualifiedMaxCountConstraintComponent-qualifiedValueShapesDisjoint
type: Parameter
path: qualified value shapes disjoint
datatype: boolean
optional: true

Qualified-min-count constraint component
type: Constraint component
comment: A constraint component that can be used to verify that a specified minimum number of value nodes conforms to a given shape.
parameter: QualifiedMinCountConstraintComponent-qualifiedMinCount
parameter: QualifiedMinCountConstraintComponent-qualifiedValueShape
parameter: QualifiedMinCountConstraintComponent-qualifiedValueShapesDisjoint

QualifiedMinCountConstraintComponent-qualifiedValueShapesDisjoint
type: Parameter
path: qualified value shapes disjoint
datatype: boolean
optional: true

qualified max count
type: Property
comment: The maximum number of value nodes that can conform to the shape.
range: integer

qualified min count
type: Property
comment: The minimum number of value nodes that must conform to the shape.
range: integer

qualified value shape
type: Property
comment: The shape that a specified number of values must conform to.
range: Shape

qualified value shapes disjoint
type: Property
comment: Can be used to mark the qualified value shape to be disjoint with its sibling shapes.
range: boolean

ReifierShape constraint component
type: Constraint component
comment: A constraint component that can be used to verify that the reifier conforms to a given shape.
parameter: ReifierShapeConstraintComponent-reifierShape
parameter: ReifierShapeConstraintComponent-reificationRequired

ReifierShapeConstraintComponent-reificationRequired
type: Parameter
path: reification required
datatype: boolean
optional: true

reifier shape
type: Property
comment: The shape that the reified triples must conform to.
range: Node shape

reification required
type: Property
comment: Can be used to mark the reification statements required.
range: boolean

Root class constraint component
type: Constraint component
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.
parameter: RootClassConstraintComponent-rootClass

root class
type: Property
comment: Specifies a class so that each value node must be that class or a (transitive) subclass of that class.

Single line constraint component
type: Constraint component
comment: A constraint component that can be used to specify that none of the value nodes may contain line breaks.
parameter: SingleLineConstraintComponent-singleLine

SingleLineConstraintComponent-singleLine
type: Parameter
path: single line
datatype: boolean
max count: 1

single line
type: Property
comment: Specifies whether none of the value nodes may contain a line break.
range: boolean

Some value constraint component
type: Constraint component
comment: A constraint component that can be used to verify that at least one of the value nodes conform to the given shape.
parameter: SomeValueConstraintComponent-someValue

some value
type: Property
comment: Specifies the shape that at least one value node must conform to.
range: Shape

Subset-of constraint component
type: Constraint component
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.
parameter: SubsetOfConstraintComponent-subsetOf

subset of
type: Property
comment: Specifies a property path where the set of value nodes must be a subset of the values of that property path.

Unique-languages constraint component
type: Constraint component
comment: A constraint component that can be used to specify that no pair of value nodes may use the same language tag.
parameter: UniqueLangConstraintComponent-uniqueLang

UniqueLangConstraintComponent-uniqueLang
type: Parameter
path: unique languages
datatype: boolean
max count: 1

unique languages
type: Property
comment: Specifies whether all node values must have a unique (or no) language tag.
range: boolean

Unique-values-for constraint component
type: Constraint component
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.
parameter: UniqueValuesForConstraintComponent-uniqueValuesFor

unique values for
type: Property
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.

Exactly one constraint component
type: Constraint component
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.
parameter: XoneConstraintComponent-xone

exactly one
type: Property
comment: Specifies a list of shapes so that the value nodes must conform to exactly one of the shapes.
range: List

Node expression function
type: Class
comment: The base (meta) class of node expression functions.
subclass of: Class

Named parameter expression function
type: Class
comment: The base class of node expression functions that take named parameters.
subclass of: Node expression function
subclass of: Parameterizable

key parameter
type: Property
comment: Set to true for the parameter of a named parameter expression function that uniquely identifies it.
domain: Parameter
range: boolean

List parameter expression function
type: Class
comment: The base class of node expression functions that take a list of parameters.
subclass of: Node expression function

Node expression
type: Class
comment: The base class of node expression (instances).
subclass of: Resource

Named parameter expression
type: Class
comment: The base class of node expressions (instances) that take named parameters.
subclass of: Node expression

List parameter expression
type: Class
comment: The base class of node expressions (instances) that take a list of parameters.
subclass of: Node expression

body expression
type: Property
comment: A node expression that is the implementation/body of a custom node expression function.
domain: Node expression function

SPARQL executable
type: Class
comment: The class of resources that encapsulate a SPARQL query.
subclass of: Resource

SPARQL ASK executable
type: Class
comment: The class of SPARQL executables that are based on an ASK query.
subclass of: SPARQL executable

ask
type: Property
comment: The SPARQL ASK query to execute.
domain: SPARQL ASK executable
range: string

SPARQL CONSTRUCT executable
type: Class
comment: The class of SPARQL executables that are based on a CONSTRUCT query.
subclass of: SPARQL executable

construct
type: Property
comment: The SPARQL CONSTRUCT query to execute.
domain: SPARQL CONSTRUCT executable
range: string

SPARQL DESCRIBE executable
type: Class
comment: The class of SPARQL executables based on a SPARQL DESCRIBE.
subclass of: SPARQL executable

describe
type: Property
comment: The SPARQL DESCRIBE to execute.
domain: SPARQL DESCRIBE executable
range: string

SPARQL SELECT executable
type: Class
comment: The class of SPARQL executables based on a SELECT query.
subclass of: SPARQL executable

select
type: Property
comment: The SPARQL SELECT query to execute.
range: string
domain: SPARQL SELECT executable

SPARQL UPDATE executable
type: Class
comment: The class of SPARQL executables based on a SPARQL UPDATE.
subclass of: SPARQL executable

update
type: Property
comment: The SPARQL UPDATE to execute.
domain: SPARQL UPDATE executable
range: string

prefixes
type: Property
comment: The prefixes that shall be applied before parsing the associated SPARQL query. The objects should define those prefixes using sh:declare.
domain: SPARQL executable

Prefix declaration
type: Class
comment: The class of prefix declarations, consisting of pairs of a prefix with a namespace.
subclass of: Resource

declare
type: Property
comment: Links a resource with its namespace prefix declarations.
range: Prefix declaration

prefix
type: Property
comment: The prefix of a prefix declaration.
domain: Prefix declaration
range: string

namespace
type: Property
comment: The namespace associated with a prefix in a prefix declaration.
domain: Prefix declaration
range: anyURI

SPARQL constraint component
type: Constraint component
comment: A constraint component that can be used to define constraints based on SPARQL queries.
parameter: SPARQLConstraintComponent-sparql

constraint (in SPARQL)
type: Property
comment: Links a shape with SPARQL constraints.
domain: Shape
range: SPARQL constraint

SPARQL constraint
type: Class
comment: The class of constraints based on SPARQL SELECT queries.
subclass of: SPARQL SELECT executable

Select expression
type: Named parameter expression function
comment: The class of node expressions based on SPARQL SELECT queries.
subclass of: Named parameter expression
subclass of: SPARQL SELECT executable
parameter: SelectExpression-select
parameter: SelectExpression-prefixes

SelectExpression-select
type: Parameter
path: select
name: select
description: The SELECT query that is executed during evaluation of this node expression. The output nodes are the bindings of the first result variable.
key parameter: true
datatype: string

SelectExpression-prefixes
type: Parameter
path: prefixes
name: prefixes
description: The prefixes that shall be applied before parsing the associated SPARQL query. The object should define those prefixes using sh:declare.
node kind: Blank node or IRI

SPARQL expr expression
type: Named parameter expression function
comment: The class of node expressions based on SPARQL expressions (sh:sparqlExpr).
subclass of: Named parameter expression
subclass of: SPARQL executable
parameter: SPARQLExprExpression-sparqlExpr
parameter: SPARQLExprExpression-prefixes

SPARQLExprExpression-sparqlExpr
type: Parameter
path: SPARQL expr
name: SPARQL expr
description: The SPARQL expression that is executed during evaluation of this node expression.
key parameter: true
datatype: string

SPARQLExprExpression-prefixes
type: Parameter
path: prefixes
name: prefixes
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.
node kind: Blank node or IRI

SPARQL expr
type: Property
comment: The SPARQL expression that is executed during evaluation of a node expression.
domain: SPARQL expr expression
range: string

result annotation
type: Property
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.
domain: SPARQL SELECT validator
range: Result annotation

Result annotation
type: Class
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.
subclass of: Resource

annotation property
type: Property
comment: The annotation property that shall be set.
domain: Result annotation
range: Property

annotation value
type: Property
comment: The (default) values of the annotation property.
domain: Result annotation

annotation variable name
type: Property
comment: The name of the SPARQL variable from the SELECT clause that shall be used for the values.
domain: Result annotation
range: string

Expression constraint component
type: Constraint component
comment: A constraint component that can be used to verify that a given node expression produces true for all value nodes.
parameter: ExpressionConstraintComponent-expression

expression
type: Property
comment: The node expression that must return true for the value nodes.

Node by expression constraint component
type: Constraint component
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.
parameter: NodeByExpressionConstraintComponent-nodeByExpression

node by expression
type: Property
comment: Links a shape to node expressions, indicating the node shape(s) that all value nodes must conform to.

agent instruction
type: Property
comment: Can be used to store instructions that shall be sent as input for external agents that understand natural language.

code identifier
type: Property
comment: A hint on how code generators should represent the associated shape.
domain: Shape
range: string

default value
type: Property
comment: A default value for a property, for example for user interface tools to pre-populate input fields.
domain: Property shape

description
type: Property
comment: Human-readable descriptions for the property in the context of the surrounding shape.
domain: Property shape

formalized
type: Property
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.
range: boolean

group
type: Property
comment: Can be used to link to a property group to indicate that a property shape belongs to a group of related property shapes.
domain: Property shape
range: Property group

intent
type: Property
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.

name
type: Property
comment: Human-readable labels for the property in the context of the surrounding shape.
domain: Property shape

order
type: Property
comment: Specifies the relative order of this compared to its siblings. For example use 0 for the first, 1 for the second.

unit
type: Property
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.
domain: Shape

Property group
type: Class
comment: Instances of this class represent groups of property shapes that belong together.
subclass of: Resource

target
type: Property
comment: Links a shape to a target specified by an extension language, for example instances of sh:SPARQLTarget.
domain: Shape
range: Target

Target
type: Class
comment: The base class of targets such as those based on SPARQL queries.
subclass of: Resource

Target type
type: Class
comment: The (meta) class for parameterizable targets. Instances of this are instantiated as values of the sh:target property.
subclass of: Class
subclass of: Parameterizable

SPARQL target
type: Class
comment: The class of targets that are based on SPARQL queries.
subclass of: Target
subclass of: SPARQL ASK executable
subclass of: SPARQL SELECT executable

SPARQL target type
type: Class
comment: The (meta) class for parameterizable targets that are based on SPARQL queries.
subclass of: Target type
subclass of: SPARQL ASK executable
subclass of: SPARQL SELECT executable

Function
type: Class
comment: The class of SHACL functions.
subclass of: Parameterizable

return type
type: Property
comment: The expected type of values returned by the associated function.
domain: Function
range: Class

SPARQL function
type: Class
comment: A function backed by a SPARQL query - either ASK or SELECT.
subclass of: Function
subclass of: SPARQL ASK executable
subclass of: SPARQL SELECT executable

this
comment: Deprecated with SHACL 1.2: replaced by shnex:var.

filterShape
comment: Deprecated with SHACL 1.2: replaced by shnex:filterShape.

nodes
comment: Deprecated with SHACL 1.2: replaced by shnex:nodes.

intersection
comment: Deprecated with SHACL 1.2: replaced by shnex:intersection.

union
comment: Deprecated with SHACL 1.2: replaced by shnex:concat.

minus
comment: Deprecated with SHACL 1.2: replaced by shnex:remove.

Rule
type: Class
comment: The class of SHACL rules. Never instantiated directly.
subclass of: Resource

rule
type: Property
comment: The rules linked to a shape.
domain: Shape
range: Rule

condition
type: Property
comment: The shapes that the focus nodes need to conform to before a rule is executed on them.
domain: Rule
range: Shape

Triple rule
type: Class
comment: A rule based on triple (subject, predicate, object) pattern.
subclass of: Rule

subject
type: Property
comment: An expression producing the resources that shall be inferred as subjects.
domain: Triple rule

predicate
type: Property
comment: An expression producing the properties that shall be inferred as predicates.
domain: Triple rule

object
type: Property
comment: An expression producing the nodes that shall be inferred as objects.
domain: Triple rule

SPARQL CONSTRUCT rule
type: Class
comment: The class of SHACL rules based on SPARQL CONSTRUCT queries.
subclass of: Rule
subclass of: SPARQL CONSTRUCT executable