Re: Question about negation

ex:Person  a sh:NodeShape, owl:Class ; 
sh:not [ sh:path rdfs:label ; sh:uniqueLanguage true ; ] .

The value node in this example is whatever is targeted by the node shape - a resource (person) that has labels, not the values of the labels.


> On May 7, 2019, at 12:28 PM, Håvard Ottestad <hmottestad@gmail.com> wrote:
> 
> Hi Irene,
> 
> Thank you for chiming in. I took a look at the negation definition again:
> 
> sh:not specifies the condition that each value node <https://www.w3.org/TR/shacl/#dfn-value-nodes> cannot conform <https://www.w3.org/TR/shacl/#dfn-conforms> to a given shape <https://www.w3.org/TR/shacl/#dfn-shape>. This is comparable to negation and the logical "not" operator.
> 
> From this I feel that something like sh:not [ sh:path rdfs:label; sh:nodeKind sh:literal] is equivalent to [ sh:path rdfs:label; sh:nodeKind sh:IriOrBlankNode]. Because every value cannot conform to the given shape. 
> 
> So:
> 
> ex:thing rdfs:label “”, []. 
> 
> Would be invalid for both above rules. 
> 
> So this makes me think that uniqueLang should be implemented in the same way, eg. negations means that no value can be unique by its language tag, since regular uniqueLang means that all values are unique by their language. 
> 
> Håvard
> 
> On 7 May 2019, at 17:32, Irene Polikoff <irene@topquadrant.com <mailto:irene@topquadrant.com>> wrote:
> 
>> It means that resource will not be valid against [ sh:path rdfs:label; sh:uniqueLang true ].
>> 
>> 
>>> On May 7, 2019, at 2:56 AM, Håvard Ottestad <hmottestad@gmail.com <mailto:hmottestad@gmail.com>> wrote:
>>> 
>>> Hi,
>>> 
>>> I am working on implementing negation for the RDF4J ShaclSail. 
>>> 
>>> The combination uniqueLang and negation got me a little bit confused. 
>>> 
>>> sh:uniqueLang means that there can be no two different values for a target and path where both values have the same language tag. 
>>> 
>>> Does sh:not[ sh:path rdfs:label; sh:uniqueLang true ] mean:
>>> 
>>> - equivalent to sh:uniqueLang false (eg. ignored)?
>>> - for any value, there must be a different value with the same language tag?
>>> - or something else?
>>> 
>>> Cheers,
>>> Håvard
>>