Re: Looking at the current proposals for SHACL

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



On 03/20/2015 12:02 AM, Jose Emilio Labra Gayo wrote:
> On Fri, Mar 20, 2015 at 1:03 AM, Peter F. Patel-Schneider
> <pfpschneider@gmail.com <mailto:pfpschneider@gmail.com>> wrote:
[...]
> 
> 2/ http://w3c.github.io/data-shapes/semantics/Axiomatic
> 
> This document contains an axiomatic semantics for the core in 1/ above.
> 
> Significant Features: - It provides a formal specification for a core of
> SHACL in terms of an axiomatization. - The core contains potentially
> recursive shapes, but not closed shapes or global constraints. - Some of
> the low-level portions are under-specified. - It has errors. - It is
> incomplete. - It does not match the description in 1/ above.
> 
> 
>> That document is work-in-progress and I would appreciate any feedback
>> to improve it instead of just saying it "has errors" or "is
>> incomplete". Having said that, the main point of that document is to
>> signal that it is possible to define the formal semantics of the SHACL
>> language in an way that does not depend on SPARQL and that can motivate
>> the appearance of independent implementations.

I have provided feedback on this axiomatization multiple times, pointing out
problems.  Some of the problems that I have pointed out in the past still
remain, and other issues are surfacing as well.  My opinion is that the
axiomatization has significant problems, including not matching informal
accounts of how constructs in the core are supposed to work.  I await a
finished and bug-free version that matches the informal accounts.

peter

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJVDBzLAAoJECjN6+QThfjzZnYH/0bNxJaOgnWG0mGu2aFQXi9S
RluQIso7/mbcugH7jWMlDBANBKgXWMo0Us+HCXf8Le61rTgp0hce5EC8IRfyd0JA
bwlX6F8gLKvp2xfdn8JtH7isU+jfSGRe1IywkO7YK7QHz5yz5M6X6lx75VlsX1iB
8nFBqCgI1PGoezGxnRragccQOXAVYvKH0dimJ2L2rby/PDh4VVOngg5Wk+HOjaaT
PqOR8FKRPOZlWaBu0oe1uGQTnkY8/zAIatwBrtjsAexzpKFCbaukGPv7Tv+vTlum
Kkp/lu7Ui1se1q0pRSe+C1iBGofhm/DZ3CcpW/D++3gwPBOZx689SBfz+sXHEBQ=
=ypNj
-----END PGP SIGNATURE-----

Received on Friday, 20 March 2015 13:13:15 UTC