A Distance-Based Operator to Revising Ontologies in DL SHOQ

Abstract

In this paper, we propose a distance-based operator to revise ontologies with acyclic generalized terminology as its TBOX in description logic SHOQ. Our operator resolves incoherence between the original ontology and the newly received ontology. We first reformulate Dalal's operator to SHOQ, and propose a query-equivalent syntactical formulation based on a notion called a revision policy. We then propose a tableau algorithm to generate such revision policies and prove the correctness of the algorithm. We show that the complexity of our algorithm stays at the same level as that of satisfiability check in SHOQ. © 2009 Springer Berlin Heidelberg.