Optimising Ontology Classification

  • Birte Glimm
  • Ian Horrocks
  • Boris Motik
  • Giorgos Stoilos
Conference paper

DOI: 10.1007/978-3-642-17746-0_15

Volume 6496 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Glimm B., Horrocks I., Motik B., Stoilos G. (2010) Optimising Ontology Classification. In: Patel-Schneider P.F. et al. (eds) The Semantic Web – ISWC 2010. ISWC 2010. Lecture Notes in Computer Science, vol 6496. Springer, Berlin, Heidelberg

Abstract

Ontology classification—the computation of subsumption hierarchies for classes and properties—is one of the most important tasks for OWL reasoners. Based on the algorithm by Shearer and Horrocks [9], we present a new classification procedure that addresses several open issues of the original algorithm, and that uses several novel optimisations in order to achieve superior performance. We also consider the classification of (object and data) properties. We show that algorithms commonly used to implement that task are incomplete even for relatively weak ontology languages. Furthermore, we show how to reduce the property classification problem into a standard (class) classification problem, which allows reasoners to classify properties using our optimised procedure. We have implemented our algorithms in the OWL HermiT reasoner, and we present the results of a performance evaluation.

Download to read the full conference paper text

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Birte Glimm
    • 1
  • Ian Horrocks
    • 1
  • Boris Motik
    • 1
  • Giorgos Stoilos
    • 1
  1. 1.Computing LaboratoryOxford UniversityUK