ARAN - Access to Research at NUI Galway

Scalable web reasoning using logic programming techniques

ARAN - Access to Research at NUI Galway

Show simple item record Lukácsy, Gergely en 2010-05-20T14:17:49Z en 2010-05-20T14:17:49Z en 2009 en
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.identifier.uri 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.format application/pdf en
dc.language.iso english en
dc.subject Logic programming en
dc.subject DL en
dc.subject OWL en
dc.subject Parallelism en
dc.subject Scalability en
dc.subject DERI en
dc.title Scalable web reasoning using logic programming techniques en
dc.type Conference paper en
dc.description.peer-reviewed peer-reviewed en
dc.contributor.funder Science Foundation Ireland en

Files in this item

This item appears in the following Collection(s)

Show simple item record