- From: Holger Knublauch <holger@topquadrant.com>
- Date: Sat, 30 Oct 2021 10:12:16 +1000
- To: attila.horvath@intellinet.hu, public-shacl@w3.org
On 2021-10-28 5:35 pm, attila.horvath@intellinet.hu wrote: > Hi! > > I am trying to validate an owl ontolgy (default), that imports an other owl ontology (kavoc) in Protege, using the shacl-plugin. At some point I have the following property shape: > > sh:property [ > sh:path kavoc:typeOfDefinition ; > sh:class kavoc:PsiDefinitionType; > sh:minCount 1 ; > sh:maxCount 1 ; > ] ; > > Now, the instances of the class kavoc:PsiDefinitionType are also defined in the kavoc ontology, and the SHACL engine drops me a validation error: "Value must be an instance of kavoc:PsiDefinitionType". If I move the instances to the default ontology, it works no problem. > > The SHACL specification says: "The data graph is expected to include all the ontology axioms related to the data...", so I suppose the SHACL engine ignores any imported triplets. Is this the expected behavior, according to the standard? No, it SHOULD follow the owl:imports links. > > Is there any way to include the imported ontology in the validation process? You may need to ask the developers of the Protege plugin. Holger > > Thank you in advance! > > Regards, > > Attila >
Received on Saturday, 30 October 2021 00:12:35 UTC