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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
Nilsson, U., Maluszynski, J. (eds.): Logic, Programming and Prolog. John Wiley and Sons Ltd., Chichester (1990)
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)
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)
Stickel, M.E.: A Prolog technology theorem prover: A new exposition and implementation in Prolog. Theoretical Computer Science 104(1), 109–128 (1992)
Kádár, B.: Architectural extensions of the dlog description logic reasoning system MSc Thesis, http://sintagma.szit.bme.hu/lukacsy/docs/kadarMSc.pdf
Warren, D.H.D.: An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, CA (October 1983)
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)
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)
Haarslev, V., Möller, R.: On the scalability of description logic instance retrieval. Journal of Automated Reasoning 41(2), 99–142 (2008)
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)
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)
Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around SHIQ in a resolution framework. Technical report, FZI, Karlsruhe (2004)
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)
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)
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)
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)
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)
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)
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
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)