shapes-ISSUE-212 (Property constraints): Property constraints and focus node constraints [SHACL Spec]

shapes-ISSUE-212 (Property constraints): Property constraints and focus node constraints [SHACL Spec]

http://www.w3.org/2014/data-shapes/track/issues/212

Raised by: Karen Coyle
On product: SHACL Spec

Peter's email: https://lists.w3.org/Archives/Public/public-rdf-shapes/2016Nov/0005.html

Data Graph D:

ex:i1 rdf:type ex:c ;
 ex:p1 ex:i2 .

1/ property constraints and focus node constraints

Shapes Graph S1:

se:s1 rdf:type sh:Shape ;
  sh:targetClass ex:c ;
  sh:property [ sh:predicate ex:p2 ;
                sh:property se:s2 ] ;
  sh:shape se:s2 .
se:s2 sh:predicate ex:p1 ;
  sh:class ex:c .

Validating D against S1 produces the following validation report

[ rdf:type sh:ValidationResult ;
  sh:severity sh:Violation ;
  sh:focusNode ex:i1 ;
  sh:sourceConstraintComponent sh:ShapeConstraintComponent ;
  sh:sourceShape se:s1 ] .

It is actually a tiny bit unclear what makes a property constraint.  There
is wording that values of sh:property have sh:PropertyConstraint as expected
type, but there is no actual explicit connection between nodes with expected
type sh:PropertyConstraint.  However, se:s2 is definitely a property
constraint as it is the value of sh:property in a shape.

Received on Tuesday, 22 November 2016 22:46:11 UTC