Propositional knowledge base revision and minimal change
Artificial Intelligence
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ε-connections of abstract description systems
Artificial Intelligence
Debugging Incoherent Terminologies
Journal of Automated Reasoning
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Inconsistencies, negations and changes in ontologies
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Knowledge integration for description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
On the approximation of instance level update and erasure in description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On applying the AGM theory to DLs and OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Repairing unsatisfiable concepts in OWL ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Reconfigurable composition of web services using belief revision through genetic algorithm
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part I
Reconfigurable web service composition using belief revision
ADCONS'11 Proceedings of the 2011 international conference on Advanced Computing, Networking and Security
Hi-index | 0.00 |
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.