Abstract
Modular ontology languages, such as Distributed Description Logics (DDL), \(\mathcal{E}\)-connections and Package-based Description Logics (P-DL) offer two broad classes of approaches to connect multiple ontology modules: the use of mappings or linkings between ontology modules e.g., DDL and \(\mathcal{E}\)-connections; and the use of importing e.g., P-DL. The major difference between the two approaches is on the usage of “foreign terms” at the syntactic level, and on the local model disjointness at the semantic level. We compare the semantics of linking in DDL and \(\mathcal{E}\)-connections, and importing in P-DL within the Distributed First Order Logics (DFOL) framework. Our investigation shows that the domain disjointness assumption adopted by the linking approach leads to several semantic difficulties. We explore the possibility of avoiding some of these difficulties using the importing approach to linking ontology modules.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.: Modular ontologies - a formal investigation of semantics and expressivity. In: Mizoguchi, R., Shi, Z.-Z., Giunchiglia, F. (eds.) ASWC 2006. LNCS, vol. 4185, pp. 616–631. Springer, Heidelberg (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, pp. 36–53 (2002)
Bouquet, P., Giunchiglia, F., van Harmelen, F.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
Ghidini, C., Serafini, L.: Frontiers Of Combining Systems 2, Studies in Logic and Computation. In: Distributed First Order Logics, pp. 121–140. Research Studies Press (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.: Tableau algorithms for e-connections of description logics. Technical report, University of Maryland Institute for Advanced Computer Studies (UMIACS), TR 2004-72 (2004)
Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004)
Horrocks, I., Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: IJCAI, pp. 448–453 (2005)
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 epsilon-connections of description logics. In: AAAI, pp. 657–662 (2005)
Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: IJCAI, pp. 570–575 (2005)
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)
Stuckenschmidt, H., Serafini, L., Wache, H.: Reasoning about ontology mappings. Technical report, Department for Mathematics and Computer Science, University of Mannheim, TR-2005-011 (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). On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I., et al. The Semantic Web - ISWC 2006. ISWC 2006. Lecture Notes in Computer Science, vol 4273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11926078_6
Download citation
DOI: https://doi.org/10.1007/11926078_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-49029-6
Online ISBN: 978-3-540-49055-5
eBook Packages: Computer ScienceComputer Science (R0)