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

mutable graphs

[EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable

State:
CLOSED
Product:
SHACL Spec
Raised by:
Peter Patel-Schneider
Opened on:
2016-05-19
Description:
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.
Related Actions Items:
No related actions
Related emails:
  1. Re: Please review the SHACL draft (was Re: Editing progress) (from holger@topquadrant.com on 2016-08-31)
  2. Proposal to reopen ISSUE-128 and change resolution (ISSUE-164) (from kontokostas@informatik.uni-leipzig.de on 2016-06-09)
  3. Re: shapes-ISSUE-164 (mutable graphs): [EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable [SHACL Spec] (from kontokostas@informatik.uni-leipzig.de on 2016-05-24)
  4. Re: shapes-ISSUE-164 (mutable graphs): [EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable [SHACL Spec] (from pfpschneider@gmail.com on 2016-05-24)
  5. Re: shapes-ISSUE-164 (mutable graphs): [EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable [SHACL Spec] (from kontokostas@informatik.uni-leipzig.de on 2016-05-24)
  6. proposed reply to Tom Baker [was Re: RDF Data Shapes WG agenda for 19 May 2016] (from pfpschneider@gmail.com on 2016-05-19)
  7. shapes-ISSUE-164 (mutable graphs): [EDITORIAL] Section 1.4 (and maybe other places) looks as if graphs are mutable [SHACL Spec] (from sysbot+tracker@w3.org on 2016-05-19)

Related notes:

Closing because sh:defaultValueType had been deleted.

Holger Knublauch, 1 Sep 2016, 07:28:22

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 164.html,v 1.1 2018/11/26 09:03:31 carine Exp $