descriptions of SHACL proposal documents

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Right now the working group home page
https://www.w3.org/2014/data-shapes/wiki/Main_Page says:

Proposals:

SHACL based on SPIN templates - Holger
SHACL based completely on SPARQL - Peter
Core SHACL Semantics (non-SPARQL) - ericP
accompanying primer - ericP and Holger
Axiomatic definition of above - Jose
proposal comparison

I feel that this is an incorrect and misleading description of the proposal
documents and their relationships to each other.

My view is that the various documents contain various material, ranging from
primer to guide to fully formal definitions, and that the less-formal
documents can be connected to several of the more-formal documents.

I think that it would be much better to describe the documents along the
following lines:


1. SHACL (Shapes Constraint Language) Primer
http://w3c.github.io/data-shapes/data-shapes-primer/
A Primer for SHACL, concentrating on the high-level language, but also
giving examples of constraints directly using SPARQL syntax. Largely
compatible with all the other proposals.

2. Shapes Constraint Language (SHACL)
https://w3c.github.io/data-shapes/shacl/
A Guide to SHACL, providing details of the constructs in SHACL and an
informal description of how they work, plus a Formal Definition of the
meaning of SHACL, based largely on a translation to SPARQL. Also includes
facilities for macros of various kinds. The Guide part of the document is
largely compatible with all the other proposals.

3. Core SHACL Semantics
http://w3c.github.io/data-shapes/semantics/
A Guide to the high-level language of SHACL, providing details of the
constructs in the high-level language and and an informal description of how
they work. Largely compatible with all the other proposals.

4. A SHACL Specification based on SPARQL
https://www.w3.org/2014/data-shapes/wiki/Shacl-sparql
A Formal Definition of the meaning of SHACL, based on a translation to SPARQL.

5. SHACL Axiomatic Semantics
http://w3c.github.io/data-shapes/semantics/Axiomatic
A Formal Definition of the meaning of the high-level language of SHACL,
based on an axiomatization.


peter

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBAgAGBQJVEcWmAAoJECjN6+QThfjzfisH/03oTUAg/ASmjBNXmMJzH3ru
mGwRmM/gccOw2TGHoyMKssptwJuIuygxCyrHi4TYu8pKQ9GgZ0PeJeiI3JZYyrrY
qrsXRA+KEgHO3OVqhRMb4J00pIRBAtuh56oB97r6ZAsSk0gUaHn+h8+VbBtbKpv2
v06ZjlvRHvvTQGGfLpbe1cSaw4VSXuVF2hgJDMbt9+WTOkVkbNaxlN/iygzJnM6Z
7wmJzkMHZbWJ8n21UBHNBTN+ZNAmr2heual1KFq6ifRfOFXcpBl4qJRWazIZ6xC0
S4xUiDIYLOSagTxR7xIokwsLhFclQr3MoYVKhktpkSV8eXBrGn/IZdR1zUNN4oc=
=bXnb
-----END PGP SIGNATURE-----

Received on Tuesday, 24 March 2015 20:15:25 UTC