dc.contributor.author | Lukácsy, Gergely | en |
dc.date.accessioned | 2010-05-20T14:17:49Z | en |
dc.date.available | 2010-05-20T14:17:49Z | en |
dc.date.issued | 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 | http://hdl.handle.net/10379/1109 | 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.rights | Attribution-NonCommercial-NoDerivs 3.0 Ireland | |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/3.0/ie/ | |
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 |
nui.item.downloads | 581 | |