ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics from Arthur Ryman on 2015-11-04 (public-data-shapes-wg@w3.org from November 2015)

From: Arthur Ryman <arthur.ryman@gmail.com>
Date: Wed, 4 Nov 2015 06:17:27 -0500
To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Message-ID: <CAApBiOmf7SzxxoXjAszBgmjteDt_4qC46Ym825S66VaxjRcydA@mail.gmail.com>

I just posted a complete Z specification for the Core SHACL Semantics
draft written by Iovka and Eric. [1] This document is much longer than
the draft because it spells out every concept in detail.

I did this formalization to help me understood their proposed
semantics for recursion involving sh:not and sh:or. My conclusion is
that their proposal is well-founded, but due to its complexity it is
not clear that it corresponds with one's intuition. More seriously, I
found some issues and have listed them in [1]. I need Iovka or Eric to
address these issues before I can go further with their draft.

[1] http://arxiv.org/abs/1511.00384

-- Arthur

Received on Wednesday, 4 November 2015 11:17:55 UTC