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 single-predicate path, 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. Logical combinators, shape composition, SPARQL constraints, and multi-step 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.

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, so a…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.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.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 property whose values this PropertyShape constrains. Scoped here to a single predicate (no SHACL path expressions).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.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. 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). rdfs.Resource is the upper bound…ViolationThe default severity — the constraint is broken. Mirrors sh:Violation.WarningA non-fatal finding. Mirrors sh:Warning.