Optimising Ontology Classification

  • Birte Glimm
  • Ian Horrocks
  • Boris Motik
  • Giorgos Stoilos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6496)

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.

References

  1. 1.
    Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems, or making kris get a move on. In: KR, pp. 270–281 (1992)Google Scholar
  2. 2.
    Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: Experience and perspectives. Web Semantics 4(3), 181–195 (2006)CrossRefGoogle Scholar
  3. 3.
    Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI, pp. 161–168 (2001)Google Scholar
  4. 4.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proc. KR 2006, pp. 57–67 (2006)Google Scholar
  5. 5.
    Motik, B., Horrocks, I.: OWL datatypes: Design and implementation. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 307–322. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Motik, B., Patel-Schneider, P.F., Cuenca Grau, B.: OWL 2 web ontology language direct semantics. W3C Recommendation (2009), http://www.w3.org/TR/owl2-direct-semantics/
  7. 7.
    Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 web ontology language structural specification and functional-style syntax. W3C Recommendation (2009), http://www.w3.org/TR/owl2-syntax/
  8. 8.
    Motik, B., Shearer, R., Horrocks, I.: Hypertableau Reasoning for Description Logics. Journal of Artificial Intelligence Research 36, 165–228 (2009)MathSciNetMATHGoogle Scholar
  9. 9.
    Shearer, R., Horrocks, I.: Exploiting partial information in taxonomy construction. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 569–584. Springer, Heidelberg (2009)CrossRefGoogle Scholar

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

Personalised recommendations