Hi,

I developed a few example shapes to see if SHACL would be useful for some 
ontology quality control test cases. After the latest update to the SHACL 
API, a couple of my shapes are resulting in spurious violations (they were 
working correctly before). I'm not sure if I was relying on incorrect 
behavior before, or if instead something is no longer working correctly. 
Here is the shape definition:

ex:LabelsShouldBeUnique
    rdfs:label "A given label should only be used for one term in the 
ontology." ;
    a sh:Shape ;
    sh:scope [
        a sh:AllObjectsScope ;
    ] ;
    sh:inverseProperty [
        sh:predicate rdfs:label ;
        sh:maxCount 1
    ] .

(the complete shapes file is 
here: https://github.com/balhoff/shacl-tests/blob/master/shapes.ttl)

When I try to validate the RDF at http://purl.obolibrary.org/obo/pato.owl, 
I get this result (among many others):

[ a       <http://www.w3.org/ns/shacl#ValidationResult> ;
  <http://www.w3.org/ns/shacl#focusNode>
          "A reflective quality that is the light scattering occurring at 
wide angle (around 90 degrees) to the incident beam." ;
  <http://www.w3.org/ns/shacl#message>
          "Inverse property has more than 1 values (2)" ;
  <http://www.w3.org/ns/shacl#object>
          "A reflective quality that is the light scattering occurring at 
wide angle (around 90 degrees) to the incident beam." ;
  <http://www.w3.org/ns/shacl#severity>
          <http://www.w3.org/ns/shacl#Violation> ;
  <http://www.w3.org/ns/shacl#sourceConstraint>
          _:b0 ;
  <http://www.w3.org/ns/shacl#sourceConstraintComponent>
          <http://www.w3.org/ns/shacl#MaxCountConstraintComponent> ;
  <http://www.w3.org/ns/shacl#sourceShape>
          <LabelsShouldBeUnique>
] .


But the string "A reflective quality that is the light scattering occurring 
at wide angle (around 90 degrees) to the incident beam." is not an object 
of the predicate rdfs:label at all. It is found twice though, once as an 
object of obo:IAO_0000115 and once as an object of owl:annotatedTarget. Is 
this a correct result?

Thank you,
Jim Balhoff

-- 
You received this message because you are subscribed to the Google Group 
"TopBraid Suite Users", the topics of which include Enterprise Vocabulary 
Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, 
TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to [email protected]
--- 
You received this message because you are subscribed to the Google Groups 
"TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to