- From: Iovka Boneva <iovka.boneva@univ-lille1.fr>
- Date: Wed, 09 Sep 2015 14:29:10 +0200
- To: RDF Data Shapes Working Group <public-data-shapes-wg@w3.org>
Dear all,
I'm trying to clarify (for myself) the SHACL semantics.
Here are three examples, can somebody please tell me whether these
examples pass or fail for the corresponding data.
Thanks in advance,
Iovka
// Example 1: is the ex:Instance node valid for that shape ?
ex:ClosedShapeExampleShape
a sh:Shape ;
sh:constraint [
a sh:ClosedShapeConstraint ;
] ;
sh:constraint [
a sh:OrConstraint ;
sh:shapes (
[
sh:property [
sh:predicate ex:a ;
sh:minCount 1 ;
]
]
[
sh:property [
sh:predicate ex:b ;
sh:minCount 1 ;
]
]
)
] ;
sh:property [
sh:predicate ex:c ;
] .
ex:Instance
ex:a "value1";
ex:b "value2";
ex:c "value3";
__________________________
// Example 2: is the ex:Instance node valid for that shape ?
ex:ClosedShapeExampleShape
a sh:Shape ;
sh:constraint [
a sh:ClosedShapeConstraint ;
] ;
sh:constraint [
a sh:OrConstraint ;
sh:shapes (
[
sh:property [
sh:predicate ex:a ;
sh:maxCount 0 ;
]
]
[
sh:property [
sh:predicate ex:b ;
sh:minCount 1 ;
]
]
)
] ;
sh:property [
sh:predicate ex:a ;
] ;
sh:property [
sh:predicate ex:c ;
] .
ex:Instance
ex:a "value1";
ex:b "value2";
ex:c "value3".
______________________
// Example 3: Is this constraining something ? Is this valid for every
node ?
ex:AShape
a sh:Shape ;
sh:property [
sh:predicate ex:a ;
] ;
sh:property [
sh:predicate ex:c ;
] .
--
Iovka Boneva
Associate professor (MdC) Université de Lille
http://www.cristal.univ-lille.fr/~boneva/
+33 6 95 75 70 25
Received on Wednesday, 9 September 2015 12:29:44 UTC