Incremental Classification of Description Logics Ontologies

  • Authors:

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

  • Affiliations:

  • Computing Laboratory, University of Oxford, Oxford, UK;Clados Management LLC, San Mateo, USA;Computing Laboratory, University of Oxford, Oxford, UK;ICT, Sirindhorn International Institute of Technology, Thammasat University, Bangkok, Thailand

  • Venue:
  • Journal of Automated Reasoning
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.