DRAGO: Distributed Reasoning Architecture for the Semantic Web

  • Luciano Serafini
  • Andrei Tamilin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3532)


The paper addresses the problem of reasoning with multiple ontologies interconnected by semantic mappings. This problem is becoming more and more relevant due to the necessity of building the interoperable Semantic Web. In contrast to the so called global reasoning approach, in this paper we propose a distributed reasoning technique that accomplishes reasoning through a combination of local reasoning chunks, internally executed in each separate ontology. Using Distributed Description Logics as a formal framework for representation of multiple semantically connected ontologies, we define a sound and complete distributed tableau-based reasoning procedure which is built as an extension to standard Description Logic tableau. Finally, the paper describes the design and implementation principles of a distributed reasoning system, called DRAGO (Distributed Reasoning Architecture for a Galaxy of Ontologies), that implements such distributed decision procedure.


Description Logic Semantic Mapping Reasoning Service Tableau Algorithm Registered Ontology 
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.


  1. 1.
    Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL. In: Handbook on Ontologies in Information Systems, pp. 67–92 (2003)Google Scholar
  2. 2.
    Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, 153–184 (2003)Google Scholar
  3. 3.
    Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing Ontologies. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  5. 5.
    Ghidini, C., Giunchiglia, F.: Local Model Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221–259 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Proc. of the Frontiers of Combining Systems, pp. 121–139 (2000)Google Scholar
  7. 7.
    Giunchiglia, F.: Contextual Reasoning. Epistemologia, special issue on I Linguaggi e le Macchine XVI, 345–364 (1993)Google Scholar
  8. 8.
    Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics (or: How we can do without modal logics). Artificial Intelligence 65(1), 29–70 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Grau, B.C., Parsia, B., Sirin, E.: Working with Multiple Ontologies on the Semantic Web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–706. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  11. 11.
    Halevy, A., Ives, Z., Mork, P., Tatarinov, I.: Piazza: Data Management Infrastructure for Semantic Web Applications. In: Proc. of the 12th International World Wide Web Conference, WWW 2003 (2003)Google Scholar
  12. 12.
    Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 27–30. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  13. 13.
    Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics 1(1), 7–26 (2003)Google Scholar
  14. 14.
    Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for very Expressive Description Logics. Logic Journal of IGPL 8(3), 239–263 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \(\mathcal{E}\)-connections of Abstract Description Systems. Artificial Intelligence 156(1), 1–73 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Maedche, A., Motik, B., Silva, N., Volz, R.: MAFRA - a Mapping Framework for Distributed Ontologies. In: Gómez-Pérez, A., Benjamins, V.R. (eds.) EKAW 2002. LNCS (LNAI), vol. 2473, p. 235. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  17. 17.
    Mena, E., Illarramendi, A., Kashyap, V., Sheth, A.: OBSERVER: An Approach for Query Processing in Global Information Systems based on Interoperation across Pre-existing Ontologies. International Journal on Distributed and Parallel Databases (DAPD) 8(2), 223–272 (2000) ISSN 0926-8782CrossRefGoogle Scholar
  18. 18.
    Omelayenko, B.: RDFT: A Mapping Meta-Ontology for Business Integration. In: Proc. of the Workshop on Knowledge Transformation for the Semantic Web at the 15th European Conference on Artificial Intelligence (KTSW 2002), pp. 77–84 (2002)Google Scholar
  19. 19.
    Serafini, L., Borgida, A., Tamilin, A.: Distributed Reasoning in SHIQ Ontology Space. Technical Report T05-02-03, ITC-IRST (2005)Google Scholar
  20. 20.
    Serafini, L., Giunchiglia, F.: ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information 11(4), 471–518 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Serafini, L., Tamilin, A.: Local Tableaux for Reasoning in Distributed Description Logics. In: Proc. of the 2004 International Workshop on Description Logics (DL 2004), CEUR-WS (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Luciano Serafini
    • 1
  • Andrei Tamilin
    • 2
  1. 1.ITC-IRSTTrentoItaly
  2. 2.DITUniversity of TrentoTrentoItaly

Personalised recommendations