Precomputing Datalog evaluation plans in large-scale scenarios

In this scenario, to reduce memory consumption and possibly optimize execution times, the paper proposes novel techniques to determine an optimal indexing schema for the underlying database together with suitable body-orderings for the Datalog rules. The new approach is compared with the standard execution plans implemented in DL V over widely used ontological benchmarks. The results confirm that the memory usage can be significantly reduced without paying any cost in efficiency. This paper is under consideration in Theory and Practice of Logic Programming (TPLP). KEYWORDS: Datalog; Query Answering; Ontologies; Query-plan; Data Indexing 1 Introduction Ontological reasoning services represent fundamental features in the development of the Semantic Web. Among them, scientists are focusing their attention on the so-called ontology-based query answering (OBQA), where a Boolean query has to be evaluated against a logical theory (knowledge base) consisting of an extensional database paired with an ontology (Cal ı et al. 2009; Ortiz 2013; Amendola et al. 2018).