diff --git a/shacl12-core/index.html b/shacl12-core/index.html index 9a21ca67..f2e51773 100644 --- a/shacl12-core/index.html +++ b/shacl12-core/index.html @@ -586,6 +586,9 @@

Terminology

The SHACL types of an RDF term in an RDF graph is the set of its values for rdf:type in the graph as well as the SHACL superclasses of these values in the graph. + Note that some SHACL implementations can be parameterized so that the rdfs:subClassOf triples + that determine the SHACL subclasses may be queried from the shapes graph in addition to the data graph. + See .
@@ -1545,6 +1548,11 @@

Class-based Targets (sh:targetClass)

+

+ Note that the rdfs:subClassOf triples may be queried from the shapes graph + (see ) in which case the rdfs:subClassOf triple + from the example above would not be required to be in the data graph. +

@@ -2717,6 +2725,27 @@

Data Graph

several related ontologies, pass all of them to the SHACL processor (together or one by one), do not rely on owl:imports links.

+ +
+

Graph for rdfs:subClassOf Triples

+

+ Some features of SHACL (such as + , + , and + ) rely on the notion + of SHACL type to determine whether a node is a SHACL instance of a given class. + By default, this is determined by looking up rdfs:subClassOf and rdf:type triples + in the data graph. + However, this is insufficient in some cases, as rdfs:subClassOf triples are often stored as part + of the class and/or shape definitions and not the instance data. +

+

+ SHACL processors SHOULD offer a parameter subClassOfInShapesGraph that, if set to true, + should alter the definition of SHACL Type so that the rdfs:subClassOf triples are queried + from the shapes graph in addition to the data graph. + The rdf:type triples are always expected to be in the data graph. +

+

Linking to shapes graphs (sh:shapesGraph)

@@ -7936,9 +7965,11 @@

Changes between SHACL 1.0 Core and SHACL 1.2 Core

  • Moved SPARQL-based validators from Core to an Appendix of SHACL-SPARQL; see Issue 271
  • Added the new constraint component sh:expression; see Issue 357
  • Added the new constraint component sh:nodeByExpression, see Issue 408
  • +
  • Added new List constraint components, see Issue 391 and Issue 414
  • Added the new value sh:ByTypes for sh:closed; see Issue 172
  • The values of sh:class and sh:datatype can now also be lists, indicating a union of choices; see Issue 160
  • Added the new constraint component sh:ReifierShape; see Issue 300
  • +
  • Added parameter to look up rdfs:subClassOf triples in the union of the shapes graph and the data graph; see Issue 185