iTemporal: An Extensible Generator of Temporal Benchmarks

DatalogMTL is an extension of the fundamental rule language Datalog with metric temporal operators over rational numbers, whose adoption is soaring within an increasing number of communities (semantic web, databases, stream data processing, temporal logic, knowledge graphs, etc.), which are more and more willing to handle temporal data and deal with temporal database queries as a consequence. Despite the rising research efforts towards new extensions of DatalogMTL, such as the fundamental support for aggregations, and the uprising systems, we still lack a corpus of benchmarks for temporal reasoning. This paper contributes iTemporal, an extensible generator of temporal benchmarks. Our system is able to generate a very broad set of benchmarks, thanks to a white-box configuration mechanism to control and stimulate the theoretical underpinnings of DatalogMTL and its extensions, such as temporal operators in the presence of full recursion and aggregations. We provide a comprehensive presentation of the system as well as an empirical evaluation of the benchmarks within two reference reasoners.