Show simple item record

dc.contributor.authorLukácsy, Gergelyen
dc.identifier.citationGergely Lukácsy, Péter Szeredi "Scalable web reasoning using logic programming techniques", Proceedings of the Third International Conference on Web Reasoning and Rule Systems (RR 2009)., 2009.en
dc.description.abstractOne 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 modeling 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 in- stances in the superset can be independently checked in parallel and (2) a speci¿c 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.en
dc.subjectLogic programmingen
dc.titleScalable web reasoning using logic programming techniquesen
dc.typeConference paperen
dc.contributor.funderScience Foundation Irelanden

Files in this item

Attribution-NonCommercial-NoDerivs 3.0 Ireland
This item is available under the Attribution-NonCommercial-NoDerivs 3.0 Ireland. No item may be reproduced for commercial purposes. Please refer to the publisher's URL where this is made available, or to notes contained in the item itself. Other terms may apply.

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record