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

Peter,

Could you please check if the following commit resolves this issue?
https://github.com/w3c/data-shapes/commit/3ed0a4dda0f6d1804c49d175bdb52ec12171e8c8

Best,
Dimitris

On Thu, May 19, 2016 at 11:35 PM, RDF Data Shapes Working Group Issue
Tracker <sysbot+tracker@w3.org> wrote:

> 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.
>
>
>
>
>


-- 
Dimitris Kontokostas
Department of Computer Science, University of Leipzig & DBpedia Association
Projects: http://dbpedia.org, http://rdfunit.aksw.org,
http://aligned-project.eu
Homepage: http://aksw.org/DimitrisKontokostas
Research Group: AKSW/KILT http://aksw.org/Groups/KILT