Cardinality restriction with :SkeletalMaterialSpecification lets reasoner fail

RDFBones / RDFBones-O

An RDF ontology for research data from physical anthropology and related fields of expertise.

4 stars 1 forks source link

Cardinality restriction with :SkeletalMaterialSpecification lets reasoner fail #80

Closed cuboideum closed 8 years ago

cuboideum commented 8 years ago

Class rdfbones:SkeletalMaterialSpecification currently has the restriction ''part of' exactly 1 plan'. This is not only against the VITRO reasoner but is also not evaluated by the Protégé reasoner (Hermit 1.3.8.413). The axiom needs to be removed.

cuboideum commented 8 years ago

The reasoner problem could not be reproduced. Still, the cardinality restrictions were corrected.