- From: Arthur Ryman <arthur.ryman@gmail.com>
- Date: Wed, 4 Nov 2015 10:33:10 -0500
- To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
- Cc: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
Peter, I agree with your assessment. The wiki page should also be updated to indicate the status. I've asked Iovka what her plans are. -- Arthur On Wed, Nov 4, 2015 at 9:45 AM, Peter F. Patel-Schneider <pfpschneider@gmail.com> wrote: > 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 15:33:38 UTC