Abstract
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.
We thank Alexander Borgida for very inspiring discussions on the DDL framework. We also grateful to Fausto Giunchiglia, Maxym Mykhalchuk and Yuting Zhao for discussions about C-OWL.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Antoniou, G., van Harmelen, F.: Web Ontology Language: OWL. In: Handbook on Ontologies in Information Systems, pp. 67–92 (2003)
Borgida, A., Serafini, L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of 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., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
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)
Ghidini, C., Giunchiglia, F.: Local Model Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Ghidini, C., Serafini, L.: Distributed First Order Logics. In: Proc. of the Frontiers of Combining Systems, pp. 121–139 (2000)
Giunchiglia, F.: Contextual Reasoning. Epistemologia, special issue on I Linguaggi e le Macchine XVI, 345–364 (1993)
Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics (or: How we can do without modal logics). Artificial Intelligence 65(1), 29–70 (1994)
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)
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)
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)
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)
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)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for very Expressive Description Logics. Logic Journal of IGPL 8(3), 239–263 (2000)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \(\mathcal{E}\)-connections of Abstract Description Systems. Artificial Intelligence 156(1), 1–73 (2004)
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)
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-8782
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)
Serafini, L., Borgida, A., Tamilin, A.: Distributed Reasoning in SHIQ Ontology Space. Technical Report T05-02-03, ITC-IRST (2005)
Serafini, L., Giunchiglia, F.: ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information 11(4), 471–518 (2002)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Serafini, L., Tamilin, A. (2005). DRAGO: Distributed Reasoning Architecture for the Semantic Web . In: Gómez-Pérez, A., Euzenat, J. (eds) The Semantic Web: Research and Applications. ESWC 2005. Lecture Notes in Computer Science, vol 3532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11431053_25
Download citation
DOI: https://doi.org/10.1007/11431053_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26124-7
Online ISBN: 978-3-540-31547-6
eBook Packages: Computer ScienceComputer Science (R0)