8 citations · 9 across the 6 of their papers we have counts for
7 papers · 1 filter
The Temporal Vadalog System: Temporal Datalog-based Reasoning
Luigi Bellomarini, Livia Blasi, Markus Nissl +1
In the wake of the recent resurgence of the Datalog language of databases, together with its extensions for ontological reasoning settings, this work aims to bridge the gap between…
Ontological Reasoning over Shy and Warded Datalog for Streaming-based Architectures (technical report)
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Recent years witnessed a rising interest towards Datalog-based ontological reasoning systems, both in academia and industry. These systems adopt languages, often shared under the c…
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…
The Space-Efficient Core of Vadalog
Gerald Berger, Georg Gottlob, Andreas Pieris +1
Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs. The logical core of the underlying Vadalog language is the warded fr…
Data Science with Vadalog: Bridging Machine Learning and Reasoning
Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob +7
Following the recent successful examples of large technology companies, many modern enterprises seek to build knowledge graphs to provide a unified view of corporate knowledge and…