On Relating Heterogeneous Elements from Different Ontologies

  • Chiara Ghidini
  • Luciano Serafini
  • Sergio Tessaris
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4635)


In the extensive usage of ontologies envisaged by the Semantic Web there is a compelling need for expressing mappings between different elements of heterogeneous ontologies. State of the art languages for ontology mapping enable to express semantic relations between homogeneous components of different ontologies; namely, they allow to map concepts into concepts, individuals into individuals, and properties into properties. In many real world cases this is not enough; for example when relations in an ontology correspond to a class in another ontology (i.e. reification of relations). To support this kind of interoperability we need therefore richer mapping languages, offering constructs for the representation of heterogeneous mappings. In this paper, we propose an extension of Distributed Description Logics (DDL) with mappings between concepts and relations. We provide a semantics of the proposed extension and sound and complete characterisation of the effects of these mappings in terms of the new ontological knowledge they entail.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  2. 2.
    Blanco, J.M., Illarramendi, A., Goñi, A.: Building a federated database system: An approach using a knowledge base system. International Journal of Intelligent and Cooperative Information Systems 3(4), 415–455 (1994)CrossRefGoogle Scholar
  3. 3.
    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, pp. 164–179. Springer, Heidelberg (2003)Google Scholar
  4. 4.
    Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: 23rd ACM SIGACT SIGMOD SIGART Sym. on Principles of Database Systems (PODS 2004), pp. 241–251. ACM Press, New York (2004)CrossRefGoogle Scholar
  5. 5.
    Calvanese, D., Berardi, D., De Giacomo, G.: Reasoning on uml class diagrams. Artificial Intelligence 1(168), 70–118 (2005)Google Scholar
  6. 6.
    Calvanese, D., De Giacomo, G., Lenzerini, M.: Structured objects: Modeling and reasoning. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) Deductive and Object-Oriented Databases. LNCS, vol. 1013, pp. 229–246. Springer, Heidelberg (1995)Google Scholar
  7. 7.
    Ghidini, C., Serafini, L., Tessaris, S.: On relating heterogeneous elements from different ontologies. Technical report, KRDB. Free universiry of Bozen-Bolzano (2007)
  8. 8.
    Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2001)zbMATHCrossRefGoogle Scholar
  9. 9.
    Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Frontiers Of Combining Systems 2, Studies in Logic and Computation, pp. 121–140, Research Studies Press (1998)Google Scholar
  10. 10.
    Ghidini, C., Serafini, L.: Mapping properties of heterogeneous ontologies. In: Proceedings of the 1st International Workshop on Modular Ontologies (WoMo-06), vol. 232 of CEUR Workshop Proceedings (2006),
  11. 11.
    Ghidini, C., Serafini, L.: Reconciling concepts and relations in heterogeneous ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 11–14. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Halpin, T.: Objectification of relationships. In: Proceedings of the 10th International IfIP WG8.1 Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2005) (2005)Google Scholar
  13. 13.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Language Reference Manual. Addison-Wesley, Reading (1999)Google Scholar
  14. 14.
    Serafini, L., Borgida, A., Tamilin, A.: Aspects of distributed and modular ontology reasoning. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 570–575 (2005)Google Scholar
  15. 15.
    Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping language for terminological knowledge. In: 19th Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 576–581 (2005)Google Scholar
  16. 16.
    Stuckenschmidt, H., Uschold, M.: Representation of semantic mappings. In: Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germany (2005)Google Scholar
  17. 17.
    Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Chiara Ghidini
    • 1
  • Luciano Serafini
    • 1
  • Sergio Tessaris
    • 2
  1. 1.FBK-irst. Via Sommarive 18 Povo, 38050,TrentoItaly
  2. 2.Free University of Bozen - Bolzano. Piazza Domenicani 3. 39100 BolzanoItaly

Personalised recommendations