Integrity and Change in Modular Ontologies

The benefits of modular representations arc well known from many areas of computer science. In this paper, we concentrate on the benefits of modular ontologies with respect to local containment of terminological reasoning. We define an architecture for modular ontologies that supports local reasoning by compiling implied subsumption relations. We further address the problem of guaranteeing the integrity of a modular ontology in the presence of local changes. We propose a strategy for analyzing changes and guiding the process of updating compiled information.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Heiner Stuckenschmidt, Michel C. A. Klein
• Keywords: IJCAI 2003, IJCAI 2007, Modular Ontologies, Modular Representations, Terminological Reasoning