Re: shapes-ISSUE-115 (ClosedShape): Current way of specifying closed shapes is not satisfactory [SHACL Spec]

To my mind, the issue is with "closed" -- which albeit an RDF concept, 
doesn't necessarily fit with the viewpoint of the enduser. Essentially 
the constraint action is that the SHACL user wants to restrict the 
constraint to ONLY these properties, or they do not. I don't see how it 
can be applied to anything other than properties, but maybe I haven't 
thought it through, but it's

-- these and only these properties
-- check these properties and ignore any others

Nothing in that says "closed" or "open" to me.

kc

On 12/18/15 7:28 AM, Holger Knublauch wrote:
> I personally don't find this syntax attractive, as it does not clearly
> communicate that
>
> - sh:closed leads to constraint checks
> - sh:closed and sh:ignoredProperties belong together
>
> I believe your proposal introduces an unnecessary inconsistency in the
> syntax that impacts how engines need to be designed, and is in the end
> harder to explain to users. I also don't think that "closed shape" is
> fundamentally different from other constraints on shapes, e.g. sh:or.
>
> I will stick to my previous suggestion
>
> ex:ClosedShapeExampleShape
>      a sh:Shape ;
>      sh:constraint [
>          sh:closed true ;
>          sh:ignoredProperties ( rdf:type ) ;
>      ] .
>
> Holger
>
>
> On 17/12/2015 4:57 AM, Arthur Ryman wrote:
>> I've made this comment a few times. My concern is that closeness,
>> although certainly a constraint, is very unlike all the other
>> constraints. It is more like a characteristic of the shape as a whole.
>> I'd therefore prefer to see it promoted to be a property of the shape
>> instead of being just another constraint.
>>
>> Concretely, the Turtle would look like this for Example 31:
>>
>> ex:ClosedShapeExampleShape
>>    a sh:Shape ;
>>    sh:close true;
>>    sh:ignoredProperties (rdf:type) ;
>>    sh:property [
>>      sh:predicate ex:exampleProperty1 ;
>>    ] ;
>>    sh:property [
>>      sh:predicate ex:exampleProperty2 ;
>>    ] .
>>
>> Or we could introduce a new class:
>> sh:ClosedShape rdfs:subClassOf sh:Shape .
>>
>> ex:ClosedShapeExampleShape
>>    a sh:ClosedShape ;
>>    sh:ignoredProperties (rdf:type) ;
>>    sh:property [
>>      sh:predicate ex:exampleProperty1 ;
>>    ] ;
>>    sh:property [
>>      sh:predicate ex:exampleProperty2 ;
>>    ] .
>>
>> -- Arthur
>>
>> On Wed, Dec 16, 2015 at 2:42 PM, RDF Data Shapes Working Group Issue
>> Tracker <sysbot+tracker@w3.org> wrote:
>>> shapes-ISSUE-115 (ClosedShape): Current way of specifying closed
>>> shapes is not satisfactory [SHACL Spec]
>>>
>>> http://www.w3.org/2014/data-shapes/track/issues/115
>>>
>>> Raised by: Arnaud Le Hors
>>> On product: SHACL Spec
>>>
>>>
>>>
>>>
>>>
>
>
>

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

Received on Tuesday, 22 December 2015 21:48:37 UTC