Core SHACL

A scoped Shapes Constraint Language vocabulary. It carries exactly the constraints a code generator, schema-aware tools, and a conformance evaluator consume — cardinality, closed value sets, string/number facets, node kinds, and closed-world property sets — over a path that is a single predicate, the inverse of a path, or a choice of paths, plus structural targeting (targetSubjectsOf, targetObjectsOf, targetNode) and the validation-report vocabulary (ValidationReport, ValidationResult) that lets a conformance verdict be authored, hashed, and signed as graph data. One form of shape composition is admitted: a qualified value shape, which counts the values of a property that conform to a nested shape (at most one offer per region), selected with hasValue. Logical combinators, other shape composition, SPARQL constraints, and sequence and repetition paths remain intentionally out of scope. Shapes are read by buildOntologyModel to enrich the resolved type-model, validated by the ShaclShape rule, and evaluated against instance data over an explicit data scope — closed means closed over the supplied scope, never the ambient open world. A class's key (owl.hasKey) is evaluated over the same scope: two distinct named instances that share a value for every key property are a violation.

Alternative PathA path expression whose values are the union of the values of each path it lists, a property or another path expression, in any order. With inversePath it lets…Blank NodeThe value must be an embedded (anonymous) resource — a node with no canonical URI of its own. Mirrors sh:BlankNode.ClassThe class that each value of the property must be an instance of.Class Constraint ComponentA class violation. Mirrors sh:ClassConstraintComponent.ClosedWhen true, nodes in the focus set may carry ONLY the properties named by this shape's PropertyShape paths (plus any in ignoredProperties) — an undeclared…Closed Constraint ComponentA closed-shape violation - the focus node carries a property the shape does not declare. Mirrors sh:ClosedConstraintComponent.ConformsTrue when the evaluated data scope satisfies every shape — equivalently, when the report carries no results at Violation severity. Mirrors sh:conforms.Constraint ComponentThe closed set of constraint kinds this scoped vocabulary evaluates. One member per constraint parameter, named after its W3C counterpart (a SHACL constraint…DatatypeThe datatype that each value of the property must carry (e.g. xsd:string).Datatype Constraint ComponentA datatype violation. Mirrors sh:DatatypeConstraintComponent.FlagsOptional regular-expression flags applied to pattern (e.g. "i").Focus NodeThe node that failed the constraint. Mirrors sh:focusNode.Has Key Constraint ComponentA key violation - two distinct named instances of a class, or of its subclasses, share a value for every property in the class's owl.hasKey, within the…Has ValueA value the property must have: at least one of its values equals this one. Here the value is a named individual (an enumeration member, a registered entry),…Has Value Constraint ComponentA hasValue violation - no value of the property equals the required value. Mirrors sh:HasValueConstraintComponent.Ignored PropertiesProperties exempt from a closed shape, as an rdf:List — most commonly rdfs.type, which every typed node carries. Only meaningful alongside closed: true.…InThe closed set of permitted values for the property, as an rdf:List. Generated as a literal union type.In Constraint ComponentAn in (closed value set) violation. Mirrors sh:InConstraintComponent.InfoAn informational finding. Mirrors sh:Info.Inverse PathA path expression that follows its path from object to subject: the values of { inversePath: hasChild } on a node are the nodes whose hasChild names it. Its…IRIThe value must be a reference to a named resource (in Kanonak terms, a reference resolving to a canonical URI). Mirrors sh:IRI.LiteralThe value must be a datatype value (string, number, boolean, date, ...). Mirrors sh:Literal.Max CountMaximum number of values for the property. maxCount = 1 makes the property single-valued; greater than 1 or unspecified means a list.Max Count Constraint ComponentA maxCount violation. Mirrors sh:MaxCountConstraintComponent.Max InclusiveInclusive upper bound for numeric values.Max Inclusive Constraint ComponentA maxInclusive violation. Mirrors sh:MaxInclusiveConstraintComponent.Max LengthMaximum string length of each value.Max Length Constraint ComponentA maxLength violation. Mirrors sh:MaxLengthConstraintComponent.MessageHuman-readable text used as the validation error when a constraint on this shape is violated. Emitted into generated validators.Min CountMinimum number of values for the property. minCount >= 1 makes the property required (generated as non-optional); 0 or unspecified means optional.Min Count Constraint ComponentA minCount violation. Mirrors sh:MinCountConstraintComponent.Min InclusiveInclusive lower bound for numeric values.Min Inclusive Constraint ComponentA minInclusive violation. Mirrors sh:MinInclusiveConstraintComponent.Min LengthMinimum string length of each value.Min Length Constraint ComponentA minLength violation. Mirrors sh:MinLengthConstraintComponent.Node KindThe closed set of node kinds a nodeKind constraint can require. The three members mirror the W3C kinds and map onto the Kanonak value trichotomy: IRI is a…Node KindThe kind of node every value of the property must be — a reference, an embedded resource, or a literal. Coarser than datatype/class and orthogonal to both:…Node Kind Constraint ComponentA nodeKind violation. Mirrors sh:NodeKindConstraintComponent.Node ShapeA shape that targets a class (via targetClass) and groups the PropertyShapes that constrain that class's properties.PathThe path whose values this PropertyShape constrains: a property, for the values of that predicate on the focus node, or a path expression written inline, an…PatternA regular expression every value of the property must match.Pattern Constraint ComponentA pattern violation. Mirrors sh:PatternConstraintComponent.PropertyA PropertyShape that constrains one of the target class's properties.Property ShapeA shape that constrains the values of a single property (named by path) on the nodes its enclosing NodeShape targets.Qualified Max CountThe most values of the property that may conform to the qualified value shape: qualifiedMaxCount 1 with a shape selecting on a region says at most one value…Qualified Max Count Constraint ComponentToo many values of the property conform to the qualified value shape, or a value's conformance could not be decided in the scope. Mirrors…Qualified Min CountThe fewest values of the property that must conform to the qualified value shape. Requires qualifiedValueShape. Mirrors sh:qualifiedMinCount.Qualified Min Count Constraint ComponentToo few values of the property conform to the qualified value shape, or a value's conformance could not be decided in the scope. Mirrors…Qualified Value ShapeA shape that each value of the property is checked against, so that qualifiedMinCount and qualifiedMaxCount can bound how many of the values conform to it.…ResultA ValidationResult carried by this report. One result per violated constraint per focus node. Mirrors sh:result.Result MessageHuman-readable description of the finding — the PropertyShape's message when it declares one, else evaluator-generated text. Mirrors sh:resultMessage.Result PathThe property whose values violated the constraint. Absent for node-level findings (e.g. a closed-shape violation reports the offending property itself as the…Result SeverityThe severity of this finding — the source shape's declared severity, or Violation by default. Mirrors sh:resultSeverity.SeverityThe severity a violation of this shape carries in a validation report. Defaults to Violation when absent. Mirrors sh:severity.SeverityThe closed set of result severities. Mirrors sh:Severity.ShapeThe base class of shapes. A shape carries constraints; concrete shapes are either a NodeShape (constraining a node/class) or a PropertyShape (constraining the…Source Constraint ComponentWHICH kind of constraint failed, as a reference to a ConstraintComponent member — the discriminant that makes a report operable without parsing messages.…Source ShapeThe shape whose constraint produced this finding. Absent when no shape did: a key violation comes from a class's owl.hasKey. Mirrors sh:sourceShape.Target ClassThe class that a NodeShape applies to.Target NodeA specific node this shape applies to, named directly. The most precise target: the focus set is exactly the listed nodes, independent of their types. Mirrors…Target Objects OfThe shape applies to every node that is the OBJECT of a statement whose predicate is the given property. The object-position counterpart of targetSubjectsOf.…Target Subjects OfThe shape applies to every node that is the SUBJECT of a statement whose predicate is the given property. Structural targeting: the focus set is gathered from…Validation ReportThe outcome of evaluating a shapes graph against a data scope, as graph data: a conforms verdict plus one ValidationResult per finding. Because a report is an…Validation ResultOne finding: which focus node, which property path, which constraint component, at what severity, with what offending value and message. The structured,…ValueThe offending value — the specific value that violated the constraint, when one exists (a minCount violation has none). For a key violation, the other instance…ViolationThe default severity — the constraint is broken. Mirrors sh:Violation.WarningA non-fatal finding. Mirrors sh:Warning.