Advertisement

Scalable Web Reasoning Using Logic Programming Techniques

  • Gergely Lukácsy
  • Péter Szeredi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5837)

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.

Keywords

Scalability Parallelism OWL DL Logic Programming 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 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. 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. 4.
    Nilsson, U., Maluszynski, J. (eds.): Logic, Programming and Prolog. John Wiley and Sons Ltd., Chichester (1990)zbMATHGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 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. 7.
    Stickel, M.E.: A Prolog technology theorem prover: A new exposition and implementation in Prolog. Theoretical Computer Science 104(1), 109–128 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 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. 9.
    Warren, D.H.D.: An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, CA (October 1983)Google Scholar
  10. 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)CrossRefGoogle Scholar
  11. 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. 12.
    Haarslev, V., Möller, R.: On the scalability of description logic instance retrieval. Journal of Automated Reasoning 41(2), 99–142 (2008)CrossRefMathSciNetGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 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)zbMATHMathSciNetGoogle Scholar
  15. 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. 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. 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. 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)zbMATHCrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Gergely Lukácsy
    • 1
  • Péter Szeredi
    • 2
  1. 1.Digital Enterprise Research InstituteGalwayIreland
  2. 2.Budapest University of Technology and EconomicsBudapestHungary

Personalised recommendations