sh:HasValueConstraintComponent fails on multiple property paths

[robert-david]

The example below fails although it should pass because the sh:hasValue constraint is satisfied at least once (1 to n). Note that it also fails if other values besides ex:Stanford exist as end nodes for the property path (as it would be if the shape was closed).

prefix sh: http://www.w3.org/ns/shacl#
prefix ex: http://example.org/

ex:ExampleShape
a sh:NodeShape ;
sh:targetNode ex:Alice ;
sh:property [
sh:path (ex:alumniOf ex:name) ;
sh:hasValue ex:Stanford
] .

ex:Alice ex:name "Alice" ;
ex:alumniOf ex:node ;
ex:alumniOf ex:otherNode .
ex:node ex:name ex:Stanford .
ex:otherNode ex:name ex:Stanford .

[labra]

Thanks for reporting it. I think you are right.

I reproduced the example with RDFShape here. I also created another issue at the SHACL-s implementation repository.