A Kernel Revision Operator for Terminologies
Guilin Qi, Peter N. Haase, Zhisheng Huang, Ji, Q., Jeff Z. Pan, Joseph L. Voelker · 2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision 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 concrete algorithms are developed to implement the revision operator.