TY - GEN
T1 - Modular ontologies - A formal investigation of semantics and expressivity
AU - Bao, Jie
AU - Caragea, Doina
AU - Honavar, Vasant G.
N1 - Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33750232177&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33750232177&partnerID=8YFLogxK
U2 - 10.1007/11836025_60
DO - 10.1007/11836025_60
M3 - Conference contribution
AN - SCOPUS:33750232177
SN - 3540383298
SN - 9783540383291
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 616
EP - 631
BT - The Semantic Web - ASWC 2006 - First Asian Semantic Web Conference, Proceedings
PB - Springer Verlag
T2 - 1st Asian Semantic Web Conference, ASWC 2006
Y2 - 3 September 2006 through 7 September 2006
ER -