4sr - Scalable Decentralized RDFS Backward Chained Reasoning

Manuel Salvadores, Gianluca Correndo, Steve Harris, Nicholas Gibbins, Nigel Shadbolt
2010 International Semantic Web Conference  
This poster paper presents the design and implementation of an RDFS reasoner based on a backward chaining approach and implemented on a clustered RDF triplestore. 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 in 4sr traverses the quad store indexes matching or expanding the query variables with awareness of the RDFS semantics.
dblp:conf/semweb/SalvadoresCHGS10 fatcat:phg77sfsxzdvlmuovm5rxkuqbm