Reasoning with a Network of Aligned Ontologies

  • Antoine Zimmermann
  • Chan Le Duc
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5341)


In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or reasoning with a system of networked ontologies. Though different formalisms have already been defined to reason with such systems, they do not consider ontology alignments as first class objects designed by third party ontology matching systems. Correspondences between ontologies are often asserted from an external point of view encompassing both ontologies. We study consistency checking in a network of aligned ontologies represented in Integrated Distributed Description Logics (IDDL). This formalism treats local knowledge (ontologies) and global knowledge (inter-ontology semantic relations, i.e. alignments) separately by distinguishing local interpretations and global interpretation so that local systems do not need to directly connect to each other. We consequently devise a correct and complete algorithm which, although being far from tractacle, has interesting properties: it is independent from the local logics expressing ontologies by encapsulating local reasoners. This shows that consistency of a IDDL system is decidable whenever consistency of the local logics is decidable. Moreover, the expressiveness of local logics does not need to be known as long as local reasoners can handle at least \(\mathcal{ALC}\).


Distribute System Description Logic Atomic Decomposition Primitive Concept Local Logic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F.: Tableau Algorithms for Description Logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol. 1847, pp. 1–18. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  2. 2.
    Bao, J., Caragea, D., Honavar, V.: On the Semantics of Linking and Importing in Modular Ontologies. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 72–86. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal on Data Semantics I 2008, 153–184 (2003)CrossRefzbMATHGoogle Scholar
  4. 4.
    Euzenat, J., Scharffe, F., Zimmermann, A.: Expressive alignment language and implementation. Deliverable 2.2.10, Knowledge Web NoE (2007),
  5. 5.
    Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)zbMATHGoogle Scholar
  6. 6.
    Euzenat, J., Zimmermann, A., Freitas, F.: Alignment-based modules for encapsulating ontologies. In: Cuenca-Grau, B., Honavar, V.G., Schlicht, A., Wolter, F. (eds.) Second International Workshop on Modular Ontologies (WOMO 2007), pp. 32–45 (2007)Google Scholar
  7. 7.
    Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \(\mathcal{E}\)-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Lenzerini, M.: Data integration: a theoretical perspective. In: Popa, L. (ed.) Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Madison, Wisconsin, USA, June 3-5, 2002, pp. 233–246. ACM Press, New York (2002)CrossRefGoogle Scholar
  9. 9.
    Ohlbach, H.J., Koehler, J.: Modal Logics, Description Logics and Arithmetic Reasoning. Artificial Intelligence 109(1–2), 1–31 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Zimmermann, A.: Integrated Distributed Description Logics. In: Calvanese, D., Franconi, E., Haarslev, V., Lembo, D., Motik, B., Tessaris, S., Turhan, A.-Y. (eds.) Proceedings of the 20th International Workshop on Description Logics DL 2007, pp. 507–514. Bolzano University Press (2007)Google Scholar
  11. 11.
    Zimmermann, A., Le Duc, C.: Reasoning on a Network of Aligned Ontologies. Technical report, INRIA (March 2008),
  12. 12.
    Zimmermann, A., Euzenat, J.: Three Semantics for Distributed Systems and their Relations with Alignment Composition. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 16–29. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Antoine Zimmermann
    • 1
  • Chan Le Duc
    • 1
  1. 1.INRIA Rhône-Alpes - LIGFrance

Personalised recommendations