A Kernel Revision Operator for Terminologies --- Algorithms and Evaluation

Guilin Qi, Peter Haase, Zhisheng Huang, Qiu Ji, Jeff Z. Pan, Johanna Völker

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

Abstract / Description of output

Revision of a description logic-based ontology deals with the problem of incorporating newly received information consistently. In this paper, we propose a general operator for revising terminologies in description logic-based ontologies. Our revision operator relies on a reformulation of the kernel contraction operator in belief revision. We first define our revision operator for terminologies and show that it satisfies some desirable logical properties. Second, two algorithms are developed to instantiate the revision operator. Since in general, these two algorithms are computationally too hard, we propose a third algorithm as a more efficient alternative. We implemented the algorithms and provide evaluation results on their efficiency, effectiveness and meaningfulness in the context of two application scenarios: Incremental ontology learning and mapping revision.
Original languageEnglish
Title of host publicationThe Semantic Web - ISWC 2008
Subtitle of host publication7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
EditorsAmit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages16
ISBN (Electronic)978-3-540-88564-1
ISBN (Print)978-3-540-88563-4
Publication statusPublished - 20 Oct 2008
EventThe 7th International Semantic Web Conference 2008 - Karlsruhe, Germany
Duration: 26 Oct 200830 Oct 2008
Conference number: 7

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Berlin, Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceThe 7th International Semantic Web Conference 2008
Abbreviated titleISWC 2008
Internet address


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

Cite this