Re: shapes-ISSUE-168 (instance count): How to constrain number of instances of a class in a graph [SHACL - Core]

Thank you, Holger, that answers my question. But it also confirms that 
this solution is unrelated (aka "orthogonal") to the request for a way 
"How to constrain number of instances of a class in a graph" as this 
issue is called, because this does not constrain the number of instances 
of a class in a graph. If this is presented as a solution, there must be 
an explanation of how it differs from the requirement as stated. This 
sets as scope node any IRI provided. Nothing here checks that "ex:A" is 
the object of rdf:type.

kc

On 6/21/16 3:38 PM, Holger Knublauch wrote:
>
>
> On 22/06/2016 4:57, Karen Coyle wrote:
>> OK, let me persist here. We have the suggested code example of:
>>
>> ex:MyShape
>>    a sh:Shape ;
>>    sh:scopeNode schema:FlightReservation ;
>>    sh:constraint [
>>        sh:minInstanceCount 1 ;
>>        sh:maxInstanceCount 1 ;
>>    ] .
>>
>> I'm going to abstract this as:
>>
>> ex:MyShape
>>    a sh:Shape ;
>>    sh:scopeNode ex:A ;
>>    sh:constraint [
>>        sh:minInstanceCount 1 ;
>>        sh:maxInstanceCount 1 ;
>>    ] .
>>
>> Given the examples below, which of these are in scope for
>> "sh:scopeNode ex:A"
>>
>> ex:A ex:B ex:C .
>>
>> ex:B ex:A ex:C .
>>
>> ex:B ex:C ex:A .
>
> Just ex:A is in scope. sh:scopeNode is independent of any triples, i.e.
> even if a node appears in no triple, it would still be in scope. This
> also means that sh:scopeNode is orthogonal to a node being subject,
> predicate or object. This is only relevant to sh:scopeProperty and
> sh:scopeInverseProperty.
>
> Holger
>
>
>>
>>
>> kc
>>
>> On 6/17/16 4:43 PM, Irene Polikoff wrote:
>>> Also, I donšt think the below is right. I thought that the scope
>>> identifies nodes. Not subject or objects, just nodes.
>>>
>>> Then, constraints specify conditions or patterns to be specified. Focus
>>> nodes can be either an object or a subject in these patterns. For
>>> example,
>>> when a PropertyConstraint is used focus nodes are subjects, but an
>>> InverseProperty constraint specifically allows specifying patterns where
>>> focus nodes are objects.
>>>
>>>
>>>
>>>
>>>
>>> On 6/17/16, 1:10 PM, "Karen Coyle" <kcoyle@kcoyle.net> wrote:
>>>
>>>> nd scopeNode binds to the subject of a
>>>> triple, AFAI can determine.
>>>
>>>
>>>
>>
>
>
>

-- 
Karen Coyle
kcoyle@kcoyle.net http://kcoyle.net
m: 1-510-435-8234
skype: kcoylenet/+1-510-984-3600

Received on Wednesday, 22 June 2016 14:11:22 UTC