@inproceedings{b06629c246b24ac591bf6db786e0175e,
title = "SAOR: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples",
abstract = "In this paper, we discuss optimisations of rule-based materialisation approaches for reasoning over large static RDF datasets. We generalise and re-formalise what we call the ``partial-indexing'' approach to scalable rule-based materialisation: the approach is based on a separation of terminological data, which has been shown in previous and related works to enable highly scalable and distributable reasoning for specific rulesets; in so doing, we provide some completeness propositions with respect to semi-na{\"i}ve evaluation. We then show how related work on template rules -- T-Box-specific dynamic rulesets created by binding the terminological patterns in the static ruleset -- can be incorporated and optimised for the partial-indexing approach. We evaluate our methods using LUBM(10) for RDFS, pD* (OWL Horst) and OWL 2 RL, and thereafter demonstrate pragmatic distributed reasoning over 1.12 billion Linked Data statements for a subset of OWL 2 RL/RDF rules we argue to be suitable for Web reasoning.",
author = "Aidan Hogan and Pan, {Jeff Z.} and Axel Polleres and Stefan Decker",
year = "2010",
month = dec,
day = "8",
doi = "10.1007/978-3-642-17746-0_22",
language = "English",
isbn = "978-3-642-17745-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "337--353",
editor = "Patel-Schneider, {Peter F.} and Yue Pan and Pascal Hitzler and Peter Mika and Lei Zhang and Pan, {Jeff Z.} and Ian Horrocks and Birte Glimm",
booktitle = "The Semantic Web -- ISWC 2010",
address = "United Kingdom",
}