Ontologies are used within Knowledge Representation and Reasoning (KRR) to represent a domain of interest and to assert specific knowledge about the domain. This is done through a class hierarchy and explicit syntactic ...