Abstract
In recent papers, we have proposed an extension of the formalism of Distributed Description Logic (DDL) to represent a wide set of homogeneous and heterogeneous mappings involving relations and concepts. Here we investigate in depth how to provide an effective reasoning algorithm for reasoning within this logic in the case of homogeneous mappings.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: Proc. of the 23rd ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS 2004), pp. 241–251 (2004)
Euzenat, J., Scharffe, F., Zimmermann, A.: Expressive alignment language and implementation. deliverable D2.2.10, Knowledge Web NoE (2007)
Ghidini, C., Serafini, L.: Mapping properties of heterogeneous ontologies. Technical Report 200804002, FBK-irst (2008), http://dkm.fbk.eu
Ghidini, C., Serafini, L., Tessaris, S.: On relating heterogeneous elements from different ontologies. In: Kokinov, B., Richardson, D.C., Roth-Berghofer, T.R., Vieu, L. (eds.) CONTEXT 2007. LNCS (LNAI), vol. 4635, pp. 234–247. Springer, Heidelberg (2007)
Grau, B.C., Parsia, B., Sirin, E.: Combining owl ontologies using e-connections. Journal of Web Semantics 4(1) (2005)
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchy. Journal of Logic and Computation 9(3), 385–410 (1999)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)
Mitra, P., Noy, N.F., Jaiswal, A.R.: Omen: A probabilistic ontology mapping tool, Hisroshima, Japan (2004)
Scharffe, F., de Bruijn, J.: A language to specify mappings between ontologies. In: Proceedings of the Internet Based Systems IEEE Conference (SITIS 2005) (2005)
Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: 19th Joint Conference on Artificial Intelligence (IJCAI 2005), August 2005, pp. 570–575 (2005)
Stuckenschmidt, H., Uschold, M.: Representation of semantic mappings. In: Semantic Interoperability and Integration, Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), vol. 04391 (2005)
Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany (2001)
Vardi, M., Wolper, P.: Reasoning about infinite computations. Information and Computation 115, 1–37 (1994)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghidini, C., Serafini, L. (2008). Mapping Properties of Heterogeneous Ontologies. In: Dochev, D., Pistore, M., Traverso, P. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2008. Lecture Notes in Computer Science(), vol 5253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85776-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-85776-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85775-4
Online ISBN: 978-3-540-85776-1
eBook Packages: Computer ScienceComputer Science (R0)