shapes-ISSUE-164 (mutable graphs): [EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable [SHACL Spec]

shapes-ISSUE-164 (mutable graphs): [EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable [SHACL Spec]

http://www.w3.org/2014/data-shapes/track/issues/164

Raised by: Peter Patel-Schneider
On product: SHACL Spec

The spec should be much clearer that SHACL works on immutable shape and data graphs.  Section 1.4 gives a false impression, but the various discussions of default value type might also need to be revised.


1.4 Relationship between SHACL and RDFS inferencing

SHACL uses the RDF and RDFS vocabularies. SHACL processors MUST perform inferencing when needed to identify SHACL instances of a class both in the data graph and the shapes graph but full RDFS inferencing is not required. However, SHACL processors may operate on RDF graphs that include entailments - either pre-computed before being submitted to a SHACL processor or performed on the fly as part of SHACL processing. To support on the fly processing of entailments, SHACL includes the property sh:entailment to indicate what inferencing is required by a given shapes graph. SHACL implementations may, but are not required to, support entailment regimes.

Received on Thursday, 19 May 2016 20:36:02 UTC