Scalable web reasoning using logic programming techniques
|dc.identifier.citation||Gergely 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.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 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.title||Scalable web reasoning using logic programming techniques||en|
|dc.contributor.funder||Science Foundation Ireland||en|
Files in this item
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: