Modular Ontologies - A Formal Investigation of Semantics and Expressivity

With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need for a common framework for comparing modular ontology language proposals on the basis of criteria such as their semantic soundness and expressive power. The authors introduce an Abstract Modular Ontology (AMO) language and offer precise definitions of semantic soundness such as localized semantics and exact reasoning, and expressivity requirements for modular ontology languages.