Re: ACTION-29 Z Specification for the W3C Editor's Draft Core SHACL Semantics

This document is dated 3 November 2015.

Its title is "Z Specification for the W3C Editor’s Draft Core
SHACL Semantics".  The document that this refers to is
http://w3c.github.io/data-shapes/semantics/.  As far as I know, the draft core
SHACL semantics document has no official standing in the W3C Data Shapes
Working Group, and is no longer under consideration in the working group.  I
suggest that this document be revised to make this point clear lest readers
get an incorrect view of the working group's progress.

peter





On 11/04/2015 03:17 AM, Arthur Ryman wrote:
> 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 14:46:28 UTC