Incremental Classification of Description Logics Ontologies

Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn
2010 Journal of automated reasoning  
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
more » ... r classification time on a set of real-world ontologies. This is an extended version of the papers published by the authors at ISWC-07 [7] and ESWC-08 [39]
doi:10.1007/s10817-009-9159-0 fatcat:aflbig7cgbdjbeww4wxq447rme