Model-based Revision Operators for Terminologies in Description Logics

Abstract

The problem of revising an ontology consistently is closely related to the problem of belief revision which has been widely discussed in the literature. Some syntax-based belief revision operators have been adapted to revise ontologies in Description Logics (DLs). However, these operators remove the whole axioms to resolve logical contradictions and thus are not fine-grained. In this paper, we propose three model-based revision operators to revise terminologies in DLs. We show that one of them is more rational than others by comparing their logical properties. Therefore, we focus on this revision operator. We also consider the problem of computing the result of revision by our operator with the help of the notion of concept forgetting. Finally, we analyze the computational complexity of our revision operator.

Extracted Key Phrases

010203020102011201220132014201520162017
Citations per Year

91 Citations

Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Qi2009ModelbasedRO, title={Model-based Revision Operators for Terminologies in Description Logics}, author={Guilin Qi and Jianfeng Du}, booktitle={IJCAI}, year={2009} }