Skip to main content
SpringerLink
Log in

KR and Reasoning on the Semantic Web: Web-Scale Reasoning

  • Reference work entry
Book cover Handbook of Semantic Web Technologies

Abstract

 Reasoning is a key element of the Semantic Web. For the Semantic Web to scale, it is required that reasoning also scales. This chapter focuses on two approaches to achieve this: The first deals with increasing the computational power available for a given task by harnessing distributed resources. These distributed resources refer to peer-to-peer networks, federated data stores, or cluster-based computing. The second deals with containing the set of axioms that need to be considered for a given task. This can be achieved by using intelligent selection strategies and limiting the scope of statements. The former is exemplified by methods substituting expensive web-scale reasoning with the cheaper application of heuristics while the latter by methods to control the quality of the provided axioms. Finally, future issues concerning information centralization and logics vs information retrieval-based methods, metrics, and benchmarking are considered.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 499.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 549.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Adjiman, P., Chatalic, P., Goasdoué, F., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting: application to the semantic web. J. Artif. Intell. Res. 25, 269–314 (2006)

    MATH  Google Scholar 

  2. Anadiotis, G., Kotoulas, S., Siebes, R.: An architecture for peer-to-peer reasoning. In: New Forms of Reasoning for the Semantic Web: Scalable, Tolerant and Dynamic in the Sixth International Semantic Web Conference (ISWC 2007), Busan (2007)

    Google Scholar 

  3. Atre, M., Chaoji, V., Zaki, M.J., Hendler, J.A.: Matrix “Bit” loaded: a scalable lightweight join query processor for RDF data. In: Rappa, M., Jones, P., Freire, J., Chakrabarti, S. (eds.) Proceedings of the 19th International World Wide Web Conference (WWW 2010), Raleigh, pp. 41–50. ACM, New York (2010)

    Google Scholar 

  4. Battré, D., Höing, A., Heine, F., Kao, O.: On triple dissemination, forward-chaining, and load balancing in DHT based RDF stores. In: Fourth International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P) in Scope of 32nd International Conference on Very Large Data Bases (VLDB 2006), Seoul (2006)

    Google Scholar 

  5. Battré, D.: Query planning in DHT based RDF stores. In: Proceedings of the 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems (SITIS 2008). IEEE Computer Society, Washington, DC (2008)

    Google Scholar 

  6. Battré, D., Heine, F., Kao, O.: Top RDF query evaluation in structured P2P networks. In: Nagel, W.E., Walter, W.V., Lehner, W. (eds.) Euro-Par. Lecture Notes in Computer Science, vol. 4128, pp. 995–1004. Springer, Heidelberg (2006)

    Google Scholar 

  7. Byers, J., Considine, J., Mitzenmacher, M.: Simple load balancing for distributed hash tables. In: Proceedings of the Second International Workshop on Peer-to-Peer Systems II (IPTPS 2003), Berkeley. Lecture Notes in Computer Science, vol. 2735, pp. 80–87. Springer, Heidelberg (2003)

    Google Scholar 

  8. Cai, M., Frank, M.: RDFPeers: a scalable distributed RDF repository based on a structured peer-to-peer network. In: Proceedings of the 13th International World Wide Web Conference (WWW 2004), Manhattan. ACM, New York (2004)

    Google Scholar 

  9. Cilibrasi, R., Vitany, P.: The Google similarity distance. IEEE/ACM Trans. Knowl. Data Eng. 19(3), 370–383 (2007)

    Article  Google Scholar 

  10. Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. In: Symposium on Operating Systems Design and Implementation, San Francisco, pp. 137–147 (2004)

    Google Scholar 

  11. Delbru, R., Polleres, A., Tummarello, G., Decker, S.: Context dependent reasoning for semantic documents in Sindice. In: Proceedings of the Fourth International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2008), Karlsruhe (2008)

    Google Scholar 

  12. Ganguly, S., Silberschatz, A., Tsur, S.: A framework for the parallel processing of datalog queries. In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, pp. 143–152 (1990)

    Google Scholar 

  13. Haase, P., Broekstra, J., Ehrig, M., Menken, M., Mika, P., Plechawski, M., Pyszlak, P., Schnizler, B., Siebes, R., Staab, S., Tempich, C.: Bibster – a semantics-based bibliographic peer-to-peer system. In: Proceedings of the Third International Semantic Web Conference (ISWC 2004), Hiroshima. Lecture Notes in Computer Science, vol. 3298, pp. 122–136. Springer, Berlin (2004)

    Google Scholar 

  14. Harth, A., Hose, K., Karnstedt, M., Polleres, A., Sattler, K., Umbrich, J.: Data summaries for on-demand queries over linked data. In: Proceedings of the 19th International World Wide Web Conference (WWW 2010), Raleigh, pp. 411–420. ACM, New York (2010)

    Google Scholar 

  15. Harth, A., Umbrich, J., Hogan, A., Decker, S.: YARS2: a federated repository for querying graph structured data from the web. In: Aberer, K., Choi, K., Noy, N., Alle-mang, D., Lee, K., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Schreiber, G., Cudre-Mauroux, P. (eds.) Proceedings of the Sixth International Semantic Web Conference and Second Asian Semantic Web Conference (ISWC/ASWC 2007), Busan. Lecture Notes in Computer Science, vol. 4825, pp. 211–224. Springer, Heidelberg (2007)

    Google Scholar 

  16. Hartig, O., Bizer, C., Freytag, J-C.: Executing SPARQL queries over the web of linked data. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) Proceedings of the Eighth International Semantic Web Conference (ISWC 2009). Lecture Notes in Computer Science, vol. 5823, pp. 293–309. Springer, Heidelberg (2009)

    Google Scholar 

  17. Hayes, P. (ed.) RDF semantics, W3C Recommendation (Feb 2004)

    Google Scholar 

  18. Heimbigner, D., Mcleod, D.: A federated architecture for information management. ACM Trans. Off. Inform. Syst. 3, 253–278 (1985)

    Article  Google Scholar 

  19. Heine, F.: Scalable P2P based RDF querying. In: Proceedings of the First International Conference on Scalable Information Systems (InfoScale 2006), p. 17. ACM, New York (2006)

    Google Scholar 

  20. Heine, F., Hovestadt, M., Kao, O.: Processing complex RDF queries over P2P networks. In: Proceedings of the 2005 ACM Workshop on Information Retrieval in Peer-to-Peer Networks (P2PIR 2005), pp. 41–48. ACM, New York

    Google Scholar 

  21. Hogan, A., Harth, A., Polleres, A.: Scalable authoritative OWL reasoning for the web. Int. J. Semant. Web Inf. Syst. 5(2), 49–90 (2009)

    Google Scholar 

  22. Huang, Z., van Harmelen, F.: Using semantic distances for reasoning with inconsistent ontologies. In: Proceedings of the Seventh International Semantic Web Conference (ISWC 2008), Karlsruhe. Lecture Notes in Computer Science, vol. 5318, pp. 178–194. Springer, Heidelberg (2008)

    Google Scholar 

  23. Huang, Z., van Harmelen, F, ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, pp. 454–459 (2005)

    Google Scholar 

  24. Idreos, S., Liarou, E., Koubarakis, M.: Continuous multi-way joins over distributed hash tables. In: Proceedings of the 11th International Conference on Extending Database Technology (EDBT 2008), pp. 594–605. ACM, New York (2008)

    Google Scholar 

  25. Kaoudi, Z., Miliaraki, I., Koubarakis, M.: RDFS reasoning and query answering on top of DHTS. In: Proceedings of the Seventh International Semantic Web Conference (ISWC 2008), Karlsruhe. Lecture Notes in Computer Science, vol. 5318, pp. 499–516. Springer, Heidelberg (2008)

    Google Scholar 

  26. Kotoulas, S., Oren, E., Harmelen, F.: Mind the data skew: distributed inferencing by speeddating in elastic regions. In: Rappa, M., Jones, P., Freire, J., Chakrabarti, S. (eds.) Proceedings of the 19th International World Wide Web Conference (WWW 2010), Raleigh, pp. 531–540. ACM, New York (2010)

    Google Scholar 

  27. Liarou, E., Idreos, S., Koubarakis, M.: Evaluating conjunctive triple pattern queries over large structured overlay networks. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P. Uschold, M., Aroyo, L. (eds.) Proceedings of the Fifth International Semantic Web Conference (ISWC 2006), Athens, GA. Lecture Notes in Computer Science, vol. 4273, pp. 399–413. Springer, Heidelberg (2006)

    Google Scholar 

  28. Lua, K., Crowcroft, J., Pias, M., Sharma, R., Lim, S.: A survey and comparison of peer-to-peer overlay network schemes. IEEE Commun. Surv. Tutorials 7(2), 72–93 (2004)

    Google Scholar 

  29. Lum, V.Y.: Multi-attribute retrieval with combined indexes. Commun. ACM 13(11), 660–665 (1970)

    Article  Google Scholar 

  30. Martínez, J.J., Cerdá, J.H.C.: A grid architecture for building hybrid museums. In: Chin-Wan Chung, Chong kwon Kim, Won Kim, Tok Wang Ling, and Kwan Ho Song (eds.) Human.Society@Internet 2003, Seoul. Lecture Notes in Computer Science, vol. 2713, pp. 312–322. Springer, Heidelberg (2003)

    Google Scholar 

  31. Matono, A., Mirza, S., Kojima, I. (2006) RDFCube: A P2P-based three-dimensional index for structural joins on distributed triple stores. In: Databases, Information Systems, and Peer-to-Peer Computing, Trondheim. Lecture Notes in Computer Science, vol. 4125, pp. 323–330. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  32. Mika, P., Tummarello, G.: Web semantics in the clouds. IEEE Intell. Syst. 23(5), 82–87 (2008)

    Article  Google Scholar 

  33. Oren, E., Delbru, R., Catasta, M., Cyganiak, R., Stenzhorn, H., Tummarello, G.: Sindice.com: a document-oriented lookup index for open linked data. Int. J. Metadata Semant. Ontol. 3(1), 37–52 (2008)

    Article  Google Scholar 

  34. Oren E., Guéret, C., Schlobach, S.: Anytime query answering in RDF through evolutionary algorithms. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T.W., Thirunarayan, K. (eds.) Proceedings of the Seventh International Semantic Web Conference (ISWC 2008), Karlsruhe. Lecture Notes in Computer Science, vol. 5318, pp. 98–113. Springer, Heidelberg (2008)

    Google Scholar 

  35. Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R., Ten Teije, A., Van Harmelen, F.: Marvin: Distributed reasoning over large-scale semantic web data. J. Web Semant. 7(4), 305–316 (2009)

    Article  Google Scholar 

  36. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax. Technical report, W3C Recommendation, University of Miami (Feb 2004)

    Google Scholar 

  37. Serafini, L., Tamilin, A.: DRAGO: distributed reasoning architecture for the semantic web. In: Proceedings of the Second European Semantic Web Conference (ESWC 2005), Heraklion. Lecture Notes in Computer Science, vol. 3532, pp. 361–376. Springer, Berlin (2005)

    Google Scholar 

  38. Sheth, A.P., Larson, J.A.: Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Comput. Surv. 22, 183–236 (1990)

    Article  Google Scholar 

  39. Soma, R., Prasanna, V.K.: Parallel inferencing for OWL knowledge bases. In: Proceedings of the 37th International Conference on Parallel Processing (ICPP 2008), Portland, pp. 75–82 (2008)

    Google Scholar 

  40. Stuckenschmidt, H., Vdovjak, R., Broekstra, J., Houben, G.-J.: Towards distributed processing of RDF path queries. Int. J. Web Eng. Technol. 2(2–3), 207–230 (2005)

    Article  Google Scholar 

  41. ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Semant. 3(2–3), 79–115 (2005)

    Article  Google Scholar 

  42. Williams, G.T., Weaver, J., Atre, M., Hendler, J.A.: Scalable reduction of large datasets to interesting subsets. J. Web Semant. 8(4), 365–373 (2010)

    Article  Google Scholar 

  43. Urbani, J., Maassen, J., Bal, H.: Massive semantic web data compression with MapReduce. In: Proceedings of the MapReduce Workshop at International Symposium of High Performance Distributed Computing (HPDC), Chicago (2010)

    Google Scholar 

  44. Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.: OWL reasoning with WebPie: calculating the closure of 100 billion triples. In: Proceedings of the Seventh European Semantic Web Conference (ESWC 2010), Heraklion. Lecture Notes in Computer Science, vol. 6088, pp. 213–227. Springer, Heidelberg (2010)

    Google Scholar 

  45. Urbani, J., Kotoulas, S., Oren, E., van Harmelen, F. (2009) Scalable distributed reasoning using mapreduce. In: Proceedings of the Eighth International Semantic Web Conference (ISWC 2009), Chantilly. Lecture Notes in Computer Science, vol. 5823, pp. 634–649. Springer, Berlin (2009)

    Google Scholar 

  46. Weaver, J., Hendler, J.: Parallel materialization of the finite RDFS closure for hundreds of millions of triples. In: Proceedings of the Eighth International Semantic Web Conference (ISWC 2009), Chantilly. Lecture Notes in Computer Science, vol. 5823, pp. 682–697. Springer, Berlin (2009)

    Google Scholar 

  47. Wilkinson, B., Allen, M.: Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers, 2nd edn. Prentice-Hall, Upper Saddle River (2005)

    Google Scholar 

  48. Peikov, I., et al.: Spreading activation components V2. LarKC deliverable D2.4.2. http://www.larkc.eu/ (2010)

  49. Balduccini, M., Pontelli, E., Elkhatib, O., Le H.: Issues in parallel execution of non-monotonic reasoning systems. Parallel Comput. 31(6), 608–647 (2005)

    Article  Google Scholar 

  50. Bonacina, M.P.: A taxonomy of parallel strategies for deduction. Ann. Math. Artif. Intell. 29(1), 223–257 (2000)

    Article  MATH  Google Scholar 

  51. Gupta, G., Pontelli, E., Ali, K.A.M., Carlsson, M., Hermenegildo M.V.: Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23, 472–602 (2001)

    Article  Google Scholar 

  52. Rudolph, S., Tserendorj, T., Hitzler, P.: What is approximate reasoning? In: Web Reasoning and Rule Systems Workshop, pp. 150–164 (2008)

    Chapter  Google Scholar 

  53. Weaver, J., Williams, G. T.: Scalable RDF query processing on clusters and supercomputers. In: Proceedings of the Fifth International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2009), Chantilly (2009)

    Google Scholar 

  54. Goodman, E.L., Mizell, D.: Scalable in-memory RDFS closure on billions of triples. In: Proceedings of the Sixth International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2010) at the Nineth International Semantic Web Conference (ISWC 2010), Shanghai (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Department, VU University Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands

    Mr. Spyros Kotoulas & Professor Frank van Harmelen (Faculty of Sciences)

  2. Tetherless World Constellation, Rensselaer Polytechnic Institute, Troy, USA

    Jesse Weaver (Ph.D. Student, Patroon Fellow)

Authors
  1. Mr. Spyros Kotoulas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Professor Frank van Harmelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jesse Weaver
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Spyros Kotoulas .

Editor information

Editors and Affiliations

  1. Knowledge Media Institute, The Open University, Walton Hall, Milton Keynes, MK7 6AA, UK

    John Domingue

  2. STI Innsbruck, University of Innsbruck, Technikerstraße 21a, 6020, Innsbruck, Austria

    Dieter Fensel

  3. Department of Computer Science, Rensselaer Polytechnic Institute, Troy, NY, 12180, USA

    James A. Hendler

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this entry

Cite this entry

Kotoulas, S., van Harmelen, F., Weaver, J. (2011). KR and Reasoning on the Semantic Web: Web-Scale Reasoning. In: Domingue, J., Fensel, D., Hendler, J.A. (eds) Handbook of Semantic Web Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92913-0_11

Download citation

Publish with us

Policies and ethics

Search

Navigation