axiomatization

Description

ontology with axioms beyond a pure subsumption hierarchy