TY - GEN
T1 - A kernel revision operator for terminologies - Algorithms and evaluation
AU - Qi, Guilin
AU - Haase, Peter
AU - Huang, Zhisheng
AU - Ji, Qiu
AU - Pan, Jeff Z.
AU - Völker, Johanna
PY - 2008/12/15
Y1 - 2008/12/15
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=57349199415&partnerID=8YFLogxK
UR - https://link.springer.com/chapter/10.1007/978-3-540-88564-1_27
UR - https://link.springer.com/content/pdf/10.1007%2F978-3-540-88564-1.pdf
U2 - 10.1007/978-3-540-88564-1-27
DO - 10.1007/978-3-540-88564-1-27
M3 - Published conference contribution
AN - SCOPUS:57349199415
SN - 3540885633
SN - 9783540885634
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 419
EP - 434
BT - The Semantic Web - ISWC 2008 - 7th International Semantic Web Conference, ISWC 2008, Proceedings
T2 - 7th International Semantic Web Conference, ISWC 2008
Y2 - 26 October 2008 through 30 October 2008
ER -