The design and implementation of minimal RDFS backward reasoning in 4store

  • Authors:

  • Manuel Salvadores;Gianluca Correndo;Steve Harris;Nick Gibbins;Nigel Shadbolt

  • Affiliations:

  • Electronics and Computer Science, University of Southampton, Southampton, UK;Electronics and Computer Science, University of Southampton, Southampton, UK;Garlik Ltd, UK;Electronics and Computer Science, University of Southampton, Southampton, UK;Electronics and Computer Science, University of Southampton, Southampton, UK

  • Venue:
  • ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes the design and implementation of Minimal RDFS semantics based on a backward chaining approach and implemented on a clustered RDF triple store. The system presented, called 4sr, uses 4store as base infrastructure. In order to achieve a highly scalable system we implemented the reasoning at the lowest level of the quad store, the bind operation. The bind operation runs concurrently in all the data slices allowing the reasoning to be processed in parallel among the cluster. Throughout this paper we provide detailed descriptions of the architecture, reasoning algorithms, and a scalability evaluation with the LUBM benchmark. 4sr is a stable tool available under a GNU GPL3 license and can be freely used and extended by the community1.