Model-based Revision Operators for Terminologies in Description Logics
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 891-896.
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.Guilin Qi, Jianfeng Du
@inproceedings{ijcai2009p152,
title = {Model-based Revision Operators for Terminologies in Description Logics},
author = {Qi, Guilin and Du, Jianfeng},
booktitle = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
pages = {891--896},
year = {2009},
url = {https://ijcai.org/proceedings/2009/152},
}
TY - CPAPER TI - Model-based Revision Operators for Terminologies in Description Logics AU - Qi, Guilin AU - Du, Jianfeng T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 SP - 891 EP - 896 UR - https://ijcai.org/proceedings/2009/152 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
