A Kernel Revision Operator for Terminologies

Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z Pan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationProceedings of the 21st International Workshop on Description Logics
EditorsFranz Baader, Carsten Lutz, Boris Motik
Number of pages10
Publication statusPublished - 10 Jun 2008
EventThe 21st International Workshop on Description Logics 2008 - Dresden, Germany
Duration: 13 May 200816 May 2008
Conference number: 353

Publication series

NameCEUR Workshop Proceedings
ISSN (Electronic)1613-0073


ConferenceThe 21st International Workshop on Description Logics 2008
Abbreviated titleDL 2008
Internet address


Dive into the research topics of 'A Kernel Revision Operator for Terminologies'. Together they form a unique fingerprint.

Cite this