Validating an OWL ontology and its imports

• From: <attila.horvath@intellinet.hu>
• Date: Thu, 28 Oct 2021 09:35:01 +0200
• To: public-shacl@w3.org
• Message-Id: <F62F1D25-AE17-4624-AAA5-A15F69A6C4E8@intellinet.hu>

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?

Is there any way to include the imported ontology in the validation process?

Thank you in advance!

Regards,

Attila

Received on Friday, 29 October 2021 08:03:58 UTC