METEORs: High Performance Theorem Provers using Model Elimination

Abstract

Abstract. In this paper, we present a high-throughput system for reasoning over RDF streams. Recognising the inherent limitations of sequential approaches, we turn to parallel methods, utilizing a compute cluster and the Yahoo S4 framework. We are presenting a set of low-level predicates operating on a stream and an encoding of RDFS reasoning and C-SPARQL query answering using these predicates. We perform experiments on up to 32 ...