The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Summary: Vadalog implements Warded Datalog+/- enabling PTIME reasoning over large knowledge graphs with existential rules. It provides the first practical, high-performance Datalog+/- system with aggressive termination control, backed by extensive experiments. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Luigi Bellomarini (Bank of Italy; Roma Tre University; University of Oxford)
- 2. Emanuel Sallinger (University of Oxford)
- 3. Georg Gottlob (University of Oxford; Vienna University of Technology)
BibTeX Citation
@article{bellomarini_vldb18,
title = {{The Vadalog System: Datalog-based Reasoning for Knowledge Graphs}},
author = {Bellomarini, Luigi and Sallinger, Emanuel and Gottlob, Georg},
journal = {PVLDB},
series = {{VLDB} '18},
volume = {11},
number = {9},
pages = {975--987},
doi = {10.14778/3213880.3213888},
url = {https://doi.org/10.14778/3213880.3213888},
year = {2018}
}Incoming Citations (Sorted by Pagerank)
Showing 15 of 15 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 490 | Design and Implementation of the LogicBlox System | 2015 | SIGMOD | 0.000175757 |
| 1,652 | The iBench Integration Metadata Generator | 2016 | VLDB | 0.00010109142 |
| 2,634 | Benchmarking the Chase | 2017 | PODS | 8.3210907e-05 |
| 2,947 | Querying with Access Patterns and Integrity Constraints | 2015 | VLDB | 7.9325276e-05 |
| 4,655 | DEMo: Data Exchange Modeling Tool | 2009 | VLDB | 6.5837448e-05 |
| 4,750 | That's All Folks! LLUNATIC Goes Open Source | 2014 | VLDB | 6.5247192e-05 |
| 6,785 | Expressiveness of Guarded Existential Rule Languages | 2014 | PODS | 5.7758194e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 6,587 | Selective Provenance for Datalog Programs Using Top-K Queries | 2015 | VLDB |
| 2 | 13,395 | KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs | 2023 | VLDB |
| 3 | 9,959 | Datalog with First-Class Facts | 2025 | VLDB |
| 4 | 4,745 | Graph Queries in a Next-Generation Datalog System | 2013 | VLDB |
| 5 | 11,500 | SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog | 2023 | VLDB |
| 6 | 2,481 | A General Datalog-Based Framework for Tractable Query Answering over Ontologies | 2009 | PODS |
| 7 | 6,221 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS |
| 8 | 9,522 | Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning | 2022 | VLDB |
| 9 | 9,863 | The Space-Efficient Core of Vadalog | 2019 | PODS |
| 10 | 11,336 | The Vadalog Parallel System: Distributed Reasoning with Datalog+/- | 2024 | VLDB |