An Architecture and Formalism for Handling Modular Ontologies

The goal of my ongoing work is to provide an architecture for developing and manipulating modular ontologies in such a way that each ontology module can plug into or unplug from an ontology. This architecture builds on top of a fundamental formalism for modular ontologies. Through this formalism we are able to define mechanisms for integrating different modules and develop algorithms for reasoning over the integrated modules. The resolution of inconsistencies arisen by conflicting axioms in different modules as well as the investigation of the impact of changes in a module on the other ontology modules are two important issues that need to be taken into consideration during the development of the formalism. Here, we briefly review the overall structure of the research work that I intended to conduct. Problem Statement The advantage of developing software applications in a modular manner has inspired knowledge engineering researchers to work on the application of modularity in the engi...

• Type: Conference
• Year: 2008
• Where: AAAI
• Authors: Faezeh Ensan
• Keywords: AAAI 2008, Intelligent Agents, Modular Ontologies, Modular Ontology, Ontology Modules