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)

Paper ID: 11800
Venue: VLDB
Year: 2018
Pagerank: 5.6475375e-05
Overall Rank: 5,166 | 64.10%
DOI: 10.14778/3213880.3213888

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 14 of 14 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,716	Datalog Unchained	2021	PODS	5.3569788e-05
8,884	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4243024e-05
9,385	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.342951e-05
9,713	Materializing Knowledge Bases via Trigger Graphs	2021	VLDB	4.2951473e-05
9,737	The Space-Efficient Core of Vadalog	2019	PODS	4.2895392e-05
9,996	Raqlet: Cross-Paradigm Compilation for Recursive Queries	2026	CIDR	4.1905499e-05
10,831	Vadacode: A Logician-friendly IDE for Datalog+/-	2025	VLDB	4.1905499e-05
11,133	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1905499e-05
11,182	Probabilistic Reasoning at Scale: Trigger Graphs to the Rescue	2023	SIGMOD	4.1905499e-05
11,208	When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler	2023	SIGMOD	4.1905499e-05
11,250	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.1905499e-05
11,303	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1905499e-05
11,388	Rewriting the Infinite Chase	2022	VLDB	4.1905499e-05
13,206	KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs	2023	VLDB	-

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
610	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00019204048
1,885	The iBench Integration Metadata Generator	2016	VLDB	0.00010206139
2,942	Querying with Access Patterns and Integrity Constraints	2015	VLDB	7.8464054e-05
3,007	Benchmarking the Chase	2017	PODS	7.7243073e-05
4,914	DEMo: Data Exchange Modeling Tool	2009	VLDB	5.8304201e-05
5,387	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	5.5344399e-05
7,959	Expressiveness of Guarded Existential Rule Languages	2014	PODS	4.6089395e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,665	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB	4.9657158e-05
13,206	KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs	2023	VLDB	-
9,812	Datalog with First-Class Facts	2025	VLDB	4.2742278e-05
5,003	Graph Queries in a Next-Generation Datalog System	2013	VLDB	5.7606385e-05
11,303	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1905499e-05
2,723	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2314732e-05
4,291	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.2824978e-05
9,385	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.342951e-05
9,737	The Space-Efficient Core of Vadalog	2019	PODS	4.2895392e-05
11,133	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1905499e-05