---
title: "Model-based Revision Operators for Terminologies in Description Logics"
authors:
  - "Guilin Qi"
  - "Jianfeng Du"
doi: ""
url: "https://ijcai.org/proceedings/2009/152"
pdf: "https://ijcai.org/proceedings/2009/0152.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "891-896"
track: ""
keywords:
---

# Model-based Revision Operators for Terminologies in Description Logics

Guilin Qi, Jianfeng Du

*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