Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics. In: Description Logics, pp. 21–30 (2000)
Bao, J., Caragea, D., Honavar, V.: On the semantics of linking and importing in modular ontologies (extended version). Technical report, TR-408 Computer Sicence, Iowa State University (2006)
Bao, J., Caragea, D., Honavar, V.: Towards collaborative environments for ontology construction and sharing. In: International Symposium on Collaborative Technologies and Systems (CTS 2006), pp. 99–108. IEEE Press, Los Alamitos (2006)
Borgida, A., Serafini, L.: Distributed description logics: Directed domain correspondences in federated information sources. In: CoopIS/DOA/ODBASE, pp. 36–53 (2002)
Bouquet, P., Giunchiglia, F., van Harmelen, F.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
Ghidini, C., Giunchiglia, F.: Local model semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Ghidini, C., Serafini, L.: Frontiers Of Combining Systems 2, Studies in Logic and Computation. In: chapter Distributed First Order Logics, pp. 121–140. Research Studies Press, Hertfordshire (1998)
Grau, B.C.: Combination and Integration of Ontologies on the Semantic Web. PhD thesis, Dpto. de Informatica, Universitat de Valencia, Spain (2005)
Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: International Semantic Web Conference, pp. 620–634 (2004)
Grau, B.C., Parsia, B., Sirin, E., Kalyanpur, A.: Modularity and web ontologies. In: KR 2006 (2006)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of description logics. In: Description Logics Workshop, CEUR-WS, vol. 81 (2003)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artif. Intell. 156(1), 1–73 (2004)
Parsia, B., Grau, B.C.: Generalized link properties for expressive epsilonconnections of description logics. In: AAAI, pp. 657–662 (2005)
Patel-Schneider, P., Hayes, P., Horrocks, I.: Web ontlogy language (owl) abstract syntax and semantics (February 2003), http://www.w3.org/TR/owl-semantics/
Schreiber, G., Dean, M.: Owl web ontology language reference (February 2004), http://www.w3.org/TR/2004/REC-owl-ref-20040210/
Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping language for terminological knowledge. In: IJCAI, pp. 576–581 (2005)
Serafini, L., Tamilin, A.: Drago: Distributed reasoning architecture for the semantic web. In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 361–376. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bao, J., Caragea, D., Honavar, V.G. (2006). Modular Ontologies – A Formal Investigation of Semantics and Expressivity. In: Mizoguchi, R., Shi, Z., Giunchiglia, F. (eds) The Semantic Web – ASWC 2006. ASWC 2006. Lecture Notes in Computer Science, vol 4185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11836025_60
Download citation
DOI: https://doi.org/10.1007/11836025_60
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38329-1
Online ISBN: 978-3-540-38331-4
eBook Packages: Computer ScienceComputer Science (R0)