8 citations · 12 across the 13 of their papers we have counts for
Showing 2021 · cs.DBShow all
2 papers · 2 filters
cs.DB2021
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…
cs.DB2021★ 1 cited
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…