We present RDFox—a main-memory, scalable, centralised RDF store that supports
materialisation-based parallel datalog reasoning and SPARQL query answering. RDFox …

The evaluation of Datalog rules over large Knowledge Graphs (KGs) is essential for many
applications. In this paper, we present a new method of materializing Datalog inferences …

Datalog is a rule-based formalism that can axiomatise recursive properties such as
reachability and transitive closure. Datalog implementations often materialise (ie …

We extend the Datalog engine VLog to develop a column-oriented implementation of the
skolem and the restricted chase–two variants of a sound and complete algorithm used for …

In recent years, there has been an increasing interest in extending stream processing
engines with rule-based temporal reasoning capabilities. To ensure correctness, such …

Combined approaches have become a successful technique for solving conjunctive query
(CQ) answering over description logics (DL) ontologies. Nevertheless, existing approaches …

Answering queries over large datasets extended with Datalog rules plays a key role in
numerous data management applications, and it has been implemented in several highly …

Query answering over data with dependencies plays a central role in most applications of
dependencies. The problem is commonly solved by using a suitable variant of the chase …

Many ICT applications need to make sense of large volumes of streaming data to detect
situations of interest and enable timely reactions. Stream Reasoning (SR) aims to combine …

Conjunctive Query (CQ) answering is a primary reasoning task over knowledge bases.
However, when considering expressive description logics, query answering can be …