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. Key words: Description Logic, Incoherence, Revision
Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pa