University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Incremental Classification of Description Logics Ontologies

Cuenca Grau‚ Bernardo‚ Christian Halaschek−Wiener‚ Yevgeny Kazakov and Boontawee Suntisrivaraporn

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.

Details

Journal

Journal of Automated Reasoning

Number

4

Pages

337−369

Volume

44

Year

2010

Links

BibTeX

Download  (pdf)

Related pages

People

Activities