A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$

  • Authors:

  • Fangkai Yang;Guilin Qi;Zhisheng Huang

  • Affiliations:

  • Department of Computer Sciences, The University of Texas at Austin, USA;AIFB-University of Karlsruhe, Karlsruhe, Germany;Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

  • Venue:
  • ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we propose a distance-based operator to revise ontologies with acyclic generalized terminology as its TBOX in description logic $\mathcal{SHOQ}$. Our operator resolves incoherence between the original ontology and the newly received ontology. We first reformulate Dalal's operator to $\mathcal{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 $\mathcal{SHOQ}$.