a framework for handling revisions in distributed ontologies
One of the important issues in ontology management is handling incoming updates and dealing with possible inconsistencies that they may induce. This is even more challenging in the context of a modular and distributed representation, because of the side-effects of the propagation of changes to the other connected or related ontologies. In this paper, we analyze the notion of ontology revision in a distributed ontology representation. We introduce a revision operator for distributed ontologies and show that it satisfies important postulates for knowledge base revision. In addition, based on a tableau algorithm for ALC ontologies, we propose an algorithm for applying the received changes and revising the original ontology through the proposed operator.
revision modular ontologies description logic