Special Issue: Web Scale Reasoning; Guest Editors: Z. Huang, U. Keller, N. Zhong and F. FischerNo Access

PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES

ANNE SCHLICHT

Computer Science Institute, University of Mannheim, B6 26, 68159 Mannheim, Germany

Search for more papers by this author

and

HEINER STUCKENSCHMIDT

Computer Science Institute, University of Mannheim, B6 26, 68159 Mannheim, Germany

Search for more papers by this author

https://doi.org/10.1142/S1793351X10000948Cited by:17 (Source: Crossref)

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. While there are first attempts for integrating RDF Schema reasoning into distributed query processing, 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 have designed and implemented a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics and has beneficial properties regarding parallel computation and overhead caused by communication effort and additional derivations. The method is based on sound and complete resolution methods for the description logic that we modify to work in a distributed setting.

Keywords:

Remember to check out the Most Cited Articles!
Check out our titles in Semantic Computing!

References

P. Adjimanet al., Journal of Artificial Intelligence Research 25, 269 (2006). Crossref, Web of Science, Google Scholar
E. Amir and S. McIlraith, Artificial Intelligence 162(2), 49 (2005), DOI: 10.1016/j.artint.2004.11.004. Crossref, Web of Science, Google Scholar
J. Bao , D. Caragea and V. Honavar , Web Intelligence ( 2006 ) . Google Scholar
J. Bao et al. , Modular Ontologies , eds. Christine Parent and Stefano Spaccapietra ( Springer , 2009 ) . Crossref, Google Scholar
S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel-Schneider and L. A. Stein, Owl web ontology language reference, 2004 . Google Scholar
O. Bodenreider et al. , Of mice and men: Aligning mouse and human anatomies , Proceedings of the American Medical Informatics Association (AIMA) Annual Symposium ( 2005 ) . Google Scholar
M. P. Bonacina , The clause-diffusion theorem prover peers-mcd (system description) , Proceedings of the American Medical Informatics Association (AIMA) Annual Symposium 1249 ( Springer-Verlag , 1997 ) . Google Scholar
M. P. Bonacina, Annals of Mathematics and Artificial Intelligence 29(4), 223 (2000), DOI: 10.1023/A:1018932114059. Crossref, Web of Science, Google Scholar
M. P. Bonacina and J. Hsiang, J. Autom. Reasoning 13(1), 1 (1994), DOI: 10.1007/BF00881910. Crossref, Web of Science, Google Scholar
A. Borgida and L. Serafini, Journal of Data Semantics 1, 153 (2003), DOI: 10.1007/BF00881910. Web of Science, Google Scholar
S. E. Conry, D. J. MacIntosh and R. A. M. Dares, A distributed automated reasoning system, Proc. AAAI-90 (1990) pp. 78–85. Google Scholar
B. C. Grauet al., J. of Artificial Intelligence Research (JAIR) 31, 273 (2008). Crossref, Web of Science, Google Scholar
B. C. Grau, B. Parsia and E. Sirin, Journal of Web Semantics 4(1), (2005). Google Scholar
F. Doniniet al., Principles of Knowledge Representation and Reasoning, Studies in Logic, Language and Information, ed. G. Brewka (CLSI Publications, 1996) pp. 193–238. Google Scholar
P. Haase and Y. Wang , A decentralized infrastructure for query answering over distributed ontologies , Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC) ( 2007 ) . Google Scholar
A. Harthet al., Yars2: A federated repository for querying graph structured data from the web, ISWC/ASWC 2007 (2007) pp. 211–224. Google Scholar
T. Hayamizuet al., Genome Biology 6(3), R29 (2005), DOI: 10.1186/gb-2005-6-3-r29. Crossref, Web of Science, Google Scholar
U. Hustadt, B. Motik and U. Sattler, Journal of Automated Reasoning 39(3), 351 (2007), DOI: 10.1007/s10817-007-9080-3. Crossref, Web of Science, Google Scholar
Z. Kaoudi , I. Miliaraki and M. Koubarakis , RDFS reasoning and query answering on top of dhts , International Semantic Web Conference ( Springer , 2008 ) . Google Scholar
G. Kokkinidis, L. Sidirougos and V. Christophides, Query processing in RDF/S-based P2P database systems, in Staab and Stuckenschmidt [30] . Google Scholar
E. L. Lusk, W. W. McCune and J. Slaney, Roo: A parallel theorem prover, Proceedings of the 11th CADE607, LNAI (Springer-Verlag, 1992) pp. 731–734. Google Scholar
C. Lutz , D. Walther and F. Wolter , Conservative extensions in expressive description logics , 20th International Joint Conference on Artificial Intelligence (IJCAI-07) ( 2007 ) . Google Scholar
B. Motik, Reasoning in Description Logics using Resolution and Deductive Databases, PhD thesis, Universität Karlsruhe (TH), Karlsruhe, Germany, January 2006 . Google Scholar
E. Oren et al. , Marvin: A platform for large-scale analysis of semantic web data , Proceedings of the International Web Science Conference ( 2009 ) . Google Scholar
A. Schlicht and H. Stuckenschmidt , A flexible partitioning tool for large ontologies , International Conference on Web Intelligence and Intelligent Agent Technology (WI/IAT) ( 2008 ) . Google Scholar
A. Schlicht and H. Stuckenschmidt , Towards distributed ontology reasoning for the web , International Conference on Web Intelligence and Intelligent Agent Technology (WI/IAT) ( 2008 ) . Google Scholar
A. Schlicht and H. Stuckenschmidt , Distributed resolution for expressive ontology networks , Web Reasoning and Rule Systems: Third International Conference (RR 2009) ( 2009 ) . Google Scholar
A. Schlicht and H. Stuckenschmidt , Peer-to-Peer reasoning for interlinked ontologies , International Journal of Semantic Computing, Special Issue on Web Scale Reasoning ( 2010 ) . Google Scholar
E. Sirinet al., Journal of Web Semantics 5(2), 51 (2007). Crossref, Web of Science, Google Scholar
S. Staab and H. Stuckenschmidt (eds.) , Semantic Web and Peer-to-Peer: Decentralized Management and Exchange of Knowledge and Information ( Springer-Verlag , 2006 ) . Crossref, Google Scholar
H. Stuckenschmidtet al., Index structures and algorithms for querying distributed rdf repositories, WWW 2004 (2004) pp. 631–639. Google Scholar
T. Tammet, Resolution methods for Decision Problems and Finite Model Building. PhD thesis, Chalmers University of Technology and University, Göteborg, 1992 . Google Scholar
C. Tempich, S. Staab and A. Wranik, Remindin':semantic query routing in Peer-to-Peer networks based on social metaphors, WWW 2004 (2004) pp. 640–649. Google Scholar
D. Tsarkov et al. , Using vampire to reason with owl , International Semantic Web Conference (ISWC) ( 2004 ) . Google Scholar
O. Šváb et al. , Ontofarm: Towards an experimental collection of parallel ontologies , International Semantic Web Conference ( Springer , 2005 ) . Google Scholar
C. Weidenbach , Handbook of Automated Reasoning II , eds. A. Robinson and A. Voronkov ( Elsevier , 2001 ) . Crossref, Google Scholar
C. Weidenbach et al. , SPASS version 2.0 , Automated Deduction — 18th International Conference on Automated Deduction , ed. Andrei Voronkov ( Springer , 2002 ) . Google Scholar