A Novel Approach to Ontology Classification
21 Pages Posted: 23 Jun 2018 Publication Status: Accepted
Ontology classification — the computation of the subsumption hierarchies for classes and properties — is a core reasoning service provided by all OWL reasoners known to us. A popular algorithm for computing the class hierarchy is the so-called Enhanced Traversal (ET) algorithm. In this paper we present a new classification algorithm that attempts to address certain shortcomings of ET and improve its performance. Apart from classification of classes, we also consider object and data property classification. Using several simple examples, we show that the algorithms commonly used to implement these tasks are incomplete even for relatively weak ontology languages. Furthermore, we show that property classification can be reduced to class classification, which allows us to classify properties using our optimised algorithm. We implemented all our algorithms in the OWL reasoner HermiT. The results of our performance evaluation show significant performance improvements on several well-known ontologies.
Keywords: Ontologies, OWL, Class Classification, Property Classification, Optimisations
Suggested Citation: Suggested Citation