1. Faezeh Ensan and Weichang Du
Update Propagation In Modular Ontologies
Faezeh Ensan and Weichang Du
Introduction
Ontology:
main building block of the Semantic Web .
Modular ontology formalisms:
Provide basis for defining ontologies as a set of self-contained modules.
Revisions and updates in ontologies
A modification may give rise to inconsistencies that should be resolved.
IBF: Interface Based Formalism for Modular Ontologies
Realizer Ontology
Interface
Utilizer Ontology
<Utilizes>
<Realizes>
ABox Modification
Utilizer knowledge base:
Modification in realizer module: D(a), C(a)->
Inconsistent utilizer module
Resolving Inconsistencies
Principle of zero change for internal elements .
Principle of minimal change for external elements.
External diagnosis for modular ontologies
Removing the minimal external diagnosis and producing a consistent integrated knowledge base.
TBox Modification
Utilizer knowledge base:
Contributions
Analyzing the notion of updates in modular ontologies
A method for TBox update propagation in modular ontologies
Modification in Realizer module:
D is unsatisfiable in the utilizer module
Faculty of Computer Science, University of New Brunswick