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

The working group main wiki page,
https://www.w3.org/2014/data-shapes/wiki/Main_Page, lists this document, and
several others, as input to the working group.  This is correct, so I don't
see that the wiki page needs to be changed, except maybe to move this section
below the next section, which points to some information that is more current.

peter


On 11/04/2015 07:33 AM, Arthur Ryman wrote:
> 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 16:02:53 UTC