Nothing Special   »   [go: up one dir, main page]

Skip to main content

Scalable Web Reasoning Using Logic Programming Techniques

  • Conference paper
Web Reasoning and Rule Systems (RR 2009)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5837))

Included in the following conference series:

Abstract

One of the key issues for the uptake of the Semantic Web idea is the availability of reasoning techniques that are usable on a large scale and that offer rich modelling capabilities by providing comprehensive coverage of the OWL language. In this paper we present a scalable extension of our ABox reasoning framework called DLog.

DLog performs query-driven execution whereby the terminological part of the description logic knowledge base is converted into a Logic Program and the assertional facts are accessed dynamically from a database. The problem of instance retrieval is reduced to a series of instance checks over a set of individuals containing all solutions for the query. Such a superset is calculated by using static-code analysis on the generated program.

We identify two kinds of parallelism within DLog execution: (1) the instances in the superset can be independently checked in parallel and (2) a specific instance check can be executed in parallel by specialising well-established techniques from Logic Programming. Moreover, for efficiency reasons, we propose to use a specialised abstract machine rather than relying on the more generic WAM execution model. We describe the architecture of a distributed framework in which the above mentioned techniques are integrated. We compare our results to existing approaches.

This work has been funded in part by Science Foundation Ireland under Grant No. SFI/08/CE/I1380 (Lion-2) and by the Irish Research Council for Science, Engineering and Technology (IRCSET). Earlier development work on the DLog system was supported by the Hungarian NKFP programme under Grant No. 2/052/2004.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Lukácsy, G., Szeredi, P.: Efficient description logic reasoning in Prolog: The DLog system. Theory and Practice of Logic Programming 09(03), 343–414 (2009)

    Article  Google Scholar 

  2. Hustadt, U., Motik, B., Sattler, U.: Data Complexity of Reasoning in Very Expressive Description Logics. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, pp. 466–471. Morgan Kaufmann Publishers, San Francisco (2005)

    Google Scholar 

  3. 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 (2004)

    Google Scholar 

  4. Nilsson, U., Maluszynski, J. (eds.): Logic, Programming and Prolog. John Wiley and Sons Ltd., Chichester (1990)

    MATH  Google Scholar 

  5. Nagy, Z., Lukácsy, G., Szeredi, P.: Translating description logic queries to Prolog. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol. 3819, pp. 168–182. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Zombori, Z.: Efficient two-phase data reasoning for description logics. In: Bramer, M. (ed.) IFIP AI. IFIP, vol. 276, pp. 393–402. Springer, Heidelberg (2008)

    Google Scholar 

  7. Stickel, M.E.: A Prolog technology theorem prover: A new exposition and implementation in Prolog. Theoretical Computer Science 104(1), 109–128 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  8. Kádár, B.: Architectural extensions of the dlog description logic reasoning system MSc Thesis, http://sintagma.szit.bme.hu/lukacsy/docs/kadarMSc.pdf

  9. Warren, D.H.D.: An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, CA (October 1983)

    Google Scholar 

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

    Article  Google Scholar 

  11. Kádár, B., Lukácsy, G., Szeredi, P.: Large scale semantic web reasoning. In: Proceedings of the 3rd International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2008), Udine, Italy, December 2008, pp. 57–70 (2008)

    Google Scholar 

  12. Haarslev, V., Möller, R.: On the scalability of description logic instance retrieval. Journal of Automated Reasoning 41(2), 99–142 (2008)

    Article  MathSciNet  Google Scholar 

  13. 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.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 211–224. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. Theory Practice of Logic Programming 8(2), 129–165 (2008)

    MATH  MathSciNet  Google Scholar 

  15. Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around SHIQ in a resolution framework. Technical report, FZI, Karlsruhe (2004)

    Google Scholar 

  16. Schlicht, A., Stuckenschmidt, H.: Towards distributed ontology reasoning for the web. In: International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2008), December 2008, vol. 1, pp. 536–539 (2008)

    Google Scholar 

  17. Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: DL reasoning with large numbers of individuals. In: Proceedings of DL 2004, British Columbia, Canada (2004)

    Google Scholar 

  18. Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. J. Autom. Reason. 39(3), 385–429 (2007)

    Article  MATH  Google Scholar 

  19. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proc. of the Twelth International World Wide Web Conference (WWW 2003), pp. 48–57. ACM, New York (2003)

    Chapter  Google Scholar 

  20. Hustadt, U., Motik, B., Sattler, U.: Data complexity of reasoning in very expressive description logics. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), International Joint Conferences on Artificial Intelligence, pp. 466–471 (2005)

    Google Scholar 

  21. Pan, Z., Zhang, X., Heflin, J.: DLDB2: A scalable multi-perspective semantic web repository. In: ACM International Conference on Web Intelligence, pp. 489–495. IEEE, Los Alamitos (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lukácsy, G., Szeredi, P. (2009). Scalable Web Reasoning Using Logic Programming Techniques. 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_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-05082-4_8

  • 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)

Publish with us

Policies and ethics