Re: on the closing of ISSUE-155

I propose the following language:

sh:equals can be used to verify that the set of value nodes is equal to
the set of nodes that are objects of triples with the focus node as
subject and the value of sh:equals as predicate.


My proposal is based on the definition of a value node as:

For property constraints that have a sh:predicate the value nodes are the
objects of the triples that have the focus node as subject and the given
property as predicate.


I think this definition may need to be made clearer as in:

For property constraints that have a sh:predicate the value nodes are the
objects of the triples that have the focus node as subject and the
sh:predicate value as predicate.


If this change reads OK, then a similar language needs to be propagated to
all constraints in section 4.6.

Irene



On 9/28/16, 12:10 AM, "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
wrote:

>>From the description of ISSUE-155:
>
>"[Property pair constraints] talk about an (ordered) pair of properties
>but do
>not take an (ordered) pair of properties as arguments."
>
>>From Section 4.6.1 of Shapes Constraint Language (SHACL) W3C Editor's
>>Draft 27
>September 2016 at http://w3c.github.io/data-shapes/shacl
>
>"sh:equals constrains a pair of properties so that the sets of values of
>both
>properties at a given focus node must be equal."
>
>This sentence is even more incorrect now than it was when the issue was
>raised.
>
>
>It thus appears that work has not been done that has solved this issue and
>that the working group has not adequately investigated the current
>situation
>before closing ISSUE-155.
>
>
>Peter F. Patel-Schneider
>Nuance Communications
>

Received on Wednesday, 28 September 2016 23:29:03 UTC