a path towards implementing the way forward

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

The resolution of the way forward,
http://www.w3.org/2015/05/28-shapes-minutes.html#resolution04, left open
just which parts of A SHACL Specification based on SPARQL,
https://www.w3.org/2014/data-shapes/wiki/Shacl-sparql, will be merged into
Shapes Constraint Language (SHACL),https://w3c.github.io/data-shapes/shacl/

Here is my view on the changes that should be made

- - A Shapes can have a constraint as a scope.
- - Global constraints are shapes with only a query.
  - This leaves only the normal sort of constraint as a constraint.
- - No recursive shapes.
- - Each shape is translated into one SPARQL query.
- - Violations are based on what is returned from the query.

This results in the following basis for SPARQL




Syntax

A shape has either a SPARQL select or construct query or a scope and a set
of constraints.  A scope is either an individual scope, a class scope, an
RDF-encoded constraint, or a SPARQL constraint.  A constraint is either an
RDF-encoded constraint or a SPARQL constraint.  A shape can be closed.  A
shape may not refer to itself either directly or indirectly.  A shape can
have a severity level.

There are several kinds of RDF-encoded constraints, including boolean
constraints and property constraints, which are not further described here.

A SPARQL constraint is a piece of SPARQL syntax that uses the variable
?this.


Semantics

The violations produced by the validation of a shape on an RDF graph or
database is defined as the results that would be obtained by translating the
shape into a SPARQL query and running that query against the RDF graph or
database under the SPARQL RDFS entailment regime.  The severity level of the
shape is used to modify the severity of violations.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJVa4ftAAoJECjN6+QThfjzPhoH/iNFL2mKbAR2+CAKttj2MObW
mEa0tM+QpYKU1uMSsHRy+Cs2CF+TtnJd5y2freDtOSQAz7aq0sODzE4B0H+5bIiK
b09e4jQauxpN/jHN8XXIn0xayaSGDw8HPf/vv1W/gXe9ABSyY92RrIB12vDHGaWS
KbBoP2uQetpqTvDmJW6V4xeaRReGLiQuyY9cskHaFzAgfu+W4lw5VygvVhryJFHH
Qyc2icp78DugEfU6FlWpM/oS99IURTS+3484PukFxL0lw0oTQsw2jaQRDggQG97J
Uf+Fnwbad3nYd52GKWu9e5MBjJDdvTSx2YiKshT6yfyufmJNAHppyq9YAcq1nao=
=hXFJ
-----END PGP SIGNATURE-----

Received on Sunday, 31 May 2015 22:15:43 UTC