Unexpected violation when using sh:qualifiedMinCount and sh:qualifiedValueShape about pyshacl HOT 2 CLOSED

Spot on, that was the issue. Indeed conforms was true once I printed it (that code was initially from a Notebook hence not having print on the last line). Debug set to false removed that message.

I also tested by defining a Shape for the sh:qualifiedValueShape (so not an anonymous shape anymore). That removes the other warning even with Debug=true.

schema:DocumentShape
    a sh:NodeShape ;
    sh:targetClass schema:Document ;
    sh:property [
        sh:message "At least one Author" ;
        sh:path schema:isTargetOf ;
        sh:qualifiedMinCount 1 ;
        sh:qualifiedValueShape schema:CodeShape ;
    ] ;
.

schema:CodeShape
    a sh:NodeShape ;
    sh:targetClass schema:HasAuthor ;
    sh:property [
        sh:message "code needs a single T/F value for schema:isPresent" ;
        sh:path schema:isPresent ;
        sh:datatype xsd:boolean ;
        sh:maxCount 1 ;
        sh:minCount 1 ;
    ]
.

Anyway I turned debug off (since I don't need it :) but this was helpful anyway for me to understand what's happening in shacl :)

from pyshacl.

Hi @jameshowison.

There are three Shacl Shapes defined in that ShapesFile. There's the NodeShape called schema:DocumentShape, an anonymous PropertyShape on its sh:property, and an anonymous NodeShape given on the sh:qualifiedValueShape constraint.

You're not seeing a sh:message because the constraint that is failing is the ClassConstraint in the anonymous shape given on sh:qualifiedValueShape, and that shape doesnt have a sh:message.

The DocumentShape and it's property-shape are both still passing.

What is the value of the conforms variable after the validation result is returned? I believe it will be True becuse the qualifiedValueShape constraint still passes, and your data is still conformant.

You are seeing that extra violation in the command line output because you have debug=True, it will show all violations, even including the ones which do not cause your data to be non-conformant.

from pyshacl.