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. We 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. We compare Distributed Description Logics (DDL), ε-connections, and Package-Based Description Logics (P-DL) with respect to these criteria. Our analysis suggests that by relaxing the strong domain disjointedness assumption adopted in DDL and ε-connection, as P-DL demonstrated, it is possible to overcome some known semantic difficulties and expressivity limitations of DDL and ε-Connections. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Bao, J., Caragea, D., & Honavar, V. G. (2006). Modular ontologies - A formal investigation of semantics and expressivity. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4185 LNCS, pp. 616–631). Springer Verlag. https://doi.org/10.1007/11836025_60
Mendeley helps you to discover research relevant for your work.