Abstract
The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed but almost all the work on description logic reasoning as a basis for implementing inference in the Web Ontology Language OWL still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps are carried out on this system.
We propose a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics. The method is based on resolution methods for \(\mathcal{ALCHIQ}\) ontologies that we modify to work in a distributed setting. Results show a promising runtime decrease compared to centralized reasoning and indicate that benefits from parallel computation trade off the overhead caused by communication between the local reasoners.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bachmair, L., Ganzinger, H., Lynch, C., Snyder, W.: Basic paramodulation. Inf. Comput. 121(2), 172–192 (1995)
Bonacina, M.P.: The clause-diffusion theorem prover peers-mcd (system description). In: McCune, W. (ed.) CADE 1997. LNCS, vol. 1249, pp. 53–56. Springer, Heidelberg (1997)
Bonacina, M.P.: A taxonomy of parallel strategies for deduction. Annals of Mathematics and Artificial Intelligence 29(1–4), 223–257 (2001) (Published in February 2001)
Bonacina, M.P., Hsiang, J.: Parallelization of deduction strategies: An analytical study. J. Autom. Reasoning 13(1), 1–33 (1994)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics 1, 153–184 (2003)
Conry, S.E., MacIntosh, D.J., Meyer, R.A.: Dares: A distributed automated reasoning system. In: Proc. AAAI 1990, pp. 78–85 (1990)
Grau, B.C., Parsia, B., Sirin, E.: Combining owl ontologies using e-connections. Journal of Web Semantics 4(1) (2005)
Donini, F., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in description logics. In: Brewka, G. (ed.) Principles of Knowledge Representation and Reasoning. Studies in Logic, Language and Information, pp. 193–238. CLSI Publications, Stanford (1996)
Hustadt, U., Motik, B., Sattler, U.: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Journal of Automated Reasoning 39(3), 351–384 (2007)
Lutz, C., Walther, D., Wolter, F.: Conservative extensions in expressive description logics. In: Twentieth International Joint Conference on Artificial Intelligence IJCAI 2007 (2007)
Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. PhD thesis, Universität Karlsruhe (TH), Karlsruhe, Germany (January 2006)
Nieuwenhuis, R., Rubio, A.: Theorem proving with ordering and equality constrained clauses. Journal of Symbolic Computation 19, 321–351 (1995)
Raskin, R.G., Pan, M.J.: Knowledge representation in the semantic web for Earth and environmental terminology SWEET. Computers & Geosciences 31(9), 1119–1125 (2005)
Schlicht, A., Stuckenschmidt, H.: A flexible partitioning tool for large ontologies. In: International Conference on Web Intelligence and Intelligent Agent Technology, WI/IAT (2008)
Schlicht, A., Stuckenschmidt, H.: Peer-to-peer reasoning for interlinked ontologies. International Journal of Semantic Computing, Special Issue on Web Scale Reasoning (2010) (to be published)
Tammet, T.: Resolution methods for Decision Problems and Finite Model Building. PhD thesis, Chalmers University of Technology and University of Göteborg (1992)
Tsarkov, D., Riazanov, A., Bechhofer, S., Horrocks, I.: Using vampire to reason with OWL. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 471–485. Springer, Heidelberg (2004)
Weidenbach, C.: Combining superposition, sorts and splitting. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 27, vol. II. Elsevier, Amsterdam (2001)
Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobald, C., Topic, D.: SPASS Version 2.0. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol. 2392, p. 275. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schlicht, A., Stuckenschmidt, H. (2009). Distributed Resolution for Expressive Ontology Networks. In: Polleres, A., Swift, T. (eds) Web Reasoning and Rule Systems. RR 2009. Lecture Notes in Computer Science, vol 5837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05082-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-05082-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05081-7
Online ISBN: 978-3-642-05082-4
eBook Packages: Computer ScienceComputer Science (R0)