Abstract
An ontology alignment explicitly describes the relations holding between two ontologies. A system composed of ontologies and alignments interconnecting them is herein called a distributed system. We give three different semantics of a distributed system, that do not interfere with the semantics of ontologies. Their advantages are compared with respect to allowing consistent merge of ontologies, managing heterogeneity and complying with an alignment composition operation. We show that only the first two variants, which differ from other proposed semantics, can offer a sound composition operation.
This work is partly supported by the Knowledge Web NoE (IST-2004-507482).
Chapter PDF
Similar content being viewed by others
References
Euzenat, J.: An API for ontology alignment. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 698–712. Springer, Heidelberg (2004)
Ghidini, C., Serafini, L.: Distributed First Order Logics. Frontiers of Combining Systems 2, 121–139 (2000)
Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating information from peer sources. J. Data Semantics, 153–184 (2003)
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870. Springer, Heidelberg (2003)
Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: The state of the art. In: Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings (2005)
Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.Y.: Representing and reasoning about mappings between domain models. In: Proc. 18th AAAI 2002, pp. 80–86 (2002)
Bernstein, P.A., Halevy, A.Y., Pottinger, R.A.: A vision for management of complex models. SIGMOD Record, 55–63 (2000)
Madhavan, J., Halevy, A.Y.: Composing mappings among data sources. In: Proc. 29th VLDB, pp. 572–583 (2003)
Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: Second-order dependencies to the rescue. In: Proc. 23rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of Database Systems (PODS 2004), pp. 83–94 (2004)
Dragut, E., Lawrence, R.: Composing mappings between schemas using a reference ontology. In: Proc. ODBASE, pp. 783–800 (2004)
Alagić, S., Bernstein, P.A.: A Model Theory for Generic Schema Management. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, pp. 228–246. Springer, Heidelberg (2002)
Goguen, J.A.: Data, schema and ontology integration. In: CombLog workshop (2004)
Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. Journal of the ACM, 95–146 (1992)
Zimmermann, A., Krötzsch, M., Euzenat, J., Hitzler, P.: Formalizing ontology alignment and its operations with category theory. In: Proc. of 4th FOIS (to appear, 2006)
Hayes, P.: RDF Semantics. Technical report, W3C (2004)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, W3C (2004)
Sowa, J.F.: Conceptual graphs for a data base interface. IBM Journal of Research and Development 20, 336–357 (1976)
Bouquet, P., Euzenat, J., Franconi, E., Serafini, L., Stamou, G., Tessaris, S.: Specification of a common framework for characterizing alignment. Deliverable 2.2.1, Knowledge Web NoE (2004)
Eschenbach, C.: Viewing composition tables as axiomatic systems. In: Proc. 2nd FOIS, pp. 93–104 (2001)
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
Zimmermann, A., Euzenat, J. (2006). Three Semantics for Distributed Systems and Their Relations with Alignment Composition. 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_2
Download citation
DOI: https://doi.org/10.1007/11926078_2
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)