Sciweavers

DLOG
2008

A Kernel Revision Operator for Terminologies

14 years 1 months ago
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
Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pa
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where DLOG
Authors Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pan
Comments (0)