An entity can have more than one key axioms
Convert the ontology separator to an enumeration
Add CardinalityRestrictionAxioms for ScalarProperty and
StructuredProperty
Add support for OWL2 ObjectHasValue
RelationRangeRestriction.some vs. min cardinality of 1
An entity can have more than one key axioms Convert the ontology separator to an enumeration Add CardinalityRestrictionAxioms for ScalarProperty and StructuredProperty Add support for OWL2 ObjectHasValue RelationRangeRestriction.some vs. min cardinality of 1