Journal of Automated Reasoning

, Volume 44, Issue 4, pp 337–369

Incremental Classification of Description Logics Ontologies

  • Bernardo Cuenca Grau
  • Christian Halaschek-Wiener
  • Yevgeny Kazakov
  • Boontawee Suntisrivaraporn
Article

Abstract

The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a collection of techniques for incremental reasoning—that is, reasoning that reuses information obtained from previous versions of an ontology. We have applied our results to incremental classification of OWL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.

Keywords

Description logics Ontologies OWL 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  • Bernardo Cuenca Grau
    • 1
  • Christian Halaschek-Wiener
    • 2
  • Yevgeny Kazakov
    • 1
  • Boontawee Suntisrivaraporn
    • 3
  1. 1.Computing LaboratoryUniversity of OxfordOxfordUK
  2. 2.Clados Management LLCSan MateoUSA
  3. 3.ICT, Sirindhorn International Institute of TechnologyThammasat UniversityBangkokThailand

Personalised recommendations