First Steps Towards Revising Ontologies


When modeling an ontology, one very often wants to add new information
and keep the resulting ontology  consistent. Belief Revision deals
with the problem of consistently adding new formulas to a knowledge
base. In this paper, we present some steps towards applying belief
revision methods to ontologies based on description logics. We depart
from the well known AGM-paradigm and show how it can be adapted in
order to be applied to description logics.