Three Semantics for Distributed Systems and Their Relations with Alignment Composition

  • Antoine Zimmermann
  • Jérôme Euzenat
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4273)


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.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Ghidini, C., Serafini, L.: Distributed First Order Logics. Frontiers of Combining Systems 2, 121–139 (2000)MathSciNetGoogle Scholar
  3. 3.
    Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating information from peer sources. J. Data Semantics, 153–184 (2003)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: The state of the art. In: Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings (2005)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Bernstein, P.A., Halevy, A.Y., Pottinger, R.A.: A vision for management of complex models. SIGMOD Record, 55–63 (2000)Google Scholar
  8. 8.
    Madhavan, J., Halevy, A.Y.: Composing mappings among data sources. In: Proc. 29th VLDB, pp. 572–583 (2003)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Dragut, E., Lawrence, R.: Composing mappings between schemas using a reference ontology. In: Proc. ODBASE, pp. 783–800 (2004)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Goguen, J.A.: Data, schema and ontology integration. In: CombLog workshop (2004)Google Scholar
  13. 13.
    Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. Journal of the ACM, 95–146 (1992)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Hayes, P.: RDF Semantics. Technical report, W3C (2004)Google Scholar
  16. 16.
    Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. Technical report, W3C (2004)Google Scholar
  17. 17.
    Sowa, J.F.: Conceptual graphs for a data base interface. IBM Journal of Research and Development 20, 336–357 (1976)zbMATHMathSciNetCrossRefGoogle Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    Eschenbach, C.: Viewing composition tables as axiomatic systems. In: Proc. 2nd FOIS, pp. 93–104 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Antoine Zimmermann
    • 1
  • Jérôme Euzenat
    • 1
  1. 1.INRIA Rhône-AlpesMontbonnot Saint-MartinFrance

Personalised recommendations