Re: shapes-ISSUE-129 (existential constraints): Existential constraints should be consistent [SHACL - Core]

On 03/16/2016 01:54 AM, Holger Knublauch wrote:
[...]
> I regard these as set-operators.
> 
> sh:equals: both sets must be equal
> sh:notEquals: both sets must not be equal, i.e. there are nodes outside of
> either set
> sh:lessThan: all values of set1 must be < all values of set2
> 
> sh:hasValue: the set must include a given value
> 
> Holger

I don't see that there can be any other choice for sh:equals, sh:notEquals,
and sh:hasValue.

sh:lessThan could also be some value of set1 must be < some value of set2, but
the current definition seems better.


peter

Received on Thursday, 17 March 2016 15:23:15 UTC