- From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
- Date: Fri, 22 May 2015 07:09:08 -0700
- To: public-data-shapes-wg@w3.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
At the VF2F Holger pointed out a couple of problems with my proposal.
To address these, I added a requirement that constraints be binding and
modified some of the translations to make more constraints be binding. I
also emphasized that some of the translations are inefficient and that the
translations are only a specification.
An example of a non-binding constraint is
NBC sh:shapeScope [ sh:property ex:p; sh:maxCardinality 1 ];
sh:shape [ sh:property ex:q ; sh:minCardinality 1 ] .
Translation of this constraint into SPARQL would normally result a query
where there was nothing to make bindings to return. The solution to the
problem in Stardog ICV is to add in a pattern like
?this rdf:type rdfs:Resource .
It probably is not a good idea to count on SPARQL implementations, even ones
that do RDFS inferencing, to make this kind of inference so I instead make
the requirement that SHACL conditions be binding. I expect that nearly all
potential SHACL conditions will be binding, so I don't think that this is
much of a limitation on SHACL.
peter
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQEcBAEBCAAGBQJVXziEAAoJECjN6+QThfjzJoQIAIcY9XsFrKABCaR2Bssi1cMa
tc0mKmKG/JJgiQyZObe3/SYK3e6j8C3xbG8Cf2NB5pd2Rrn8L90BFDmHR9SsE94s
Fnd0b1oMWpla8R6kQAvIKbwy+MeR5al6nRV3MCJS2b0CWMjUgk66HI2F0rpRaknF
P709cZrL3MtZkG62Clu4gEmsy2+kwfdphZ5LIenxabR8H3qCUvm2Zchy8oDPsHY1
QoH/4NrzZRMvpKyP1sm2UiOM65ccfMeueDKd6Vvvw5RBxzn6hlA/5FM8EIx29agA
pYec6tou2OL8izzl2DgSikdYDOdIri/3Yn23j/5HTX1uQ0l8R6wk2SqJV6Sy1uY=
=iT3I
-----END PGP SIGNATURE-----
Received on Friday, 22 May 2015 14:09:48 UTC