A Kernel Revision Operator for Terminologies

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

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pan
• Keywords: Automated Reasoning, DLOG 2008, Kernel Revision Operator, Revision Method, Revision Operator