Presented at: 7th International Semantic Web Conference (ISWC2008)
by Guilin Qi, Peter Haase, Zhisheng Huang, Qiu JI, Jeff Z. Pan, Johanna Völker
In this paper, we propose a general operator for revising terminologies in description logic-based ontologies. Our revision operator is based on a reformulation of the kernel contraction operator in belief revision. We first define our revision operator for terminologies in terms of MIPS (minimal incoherence-preserving sub-terminologies), and we show that it satisfies some desirable logical properties. Second, two algorithms are developed to instantiate the revision operator. Since these two algorithms are computationally too hard in general, we propose a third algorithm as a more efficient alternative. We implement the algorithms and provide evaluation results on their efficiency and effectiveness.
Keywords: belief revision, diagnosis, ontology evolution, Semantic Web
Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc/2008/paper/research/270
Explore this resource elsewhere: