25 citations · 39 across the 16 of their papers we have counts for
3 papers · 1 filter
Query Evaluation in DatalogMTL -- Taming Infinite Query Results
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
In this paper, we investigate finite representations of DatalogMTL models. First, we discuss sufficient conditions for detecting programs that have finite models. Then, we study in…
Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-
Luigi Bellomarini, Emanuel Sallinger
Ontological query answering is the problem of answering queries in the presence of schema constraints representing the domain of interest. Datalog+/- is a common family of language…
iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report)
Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger +1
Recent years have seen increasing popularity of logic-based reasoning systems, with research and industrial interest as well as many flourishing applications in the area of Knowled…