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: 11799
Venue: VLDB
Year: 2018
Pagerank: 5.6529675e-05
Overall Rank: 5,165 | 64.07%
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,705	Datalog Unchained	2021	PODS	5.3621239e-05
8,883	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4285471e-05
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
9,714	Materializing Knowledge Bases via Trigger Graphs	2021	VLDB	4.299267e-05
9,738	The Space-Efficient Core of Vadalog	2019	PODS	4.2936538e-05
9,997	Raqlet: Cross-Paradigm Compilation for Recursive Queries	2026	CIDR	4.1945683e-05
10,826	Vadacode: A Logician-friendly IDE for Datalog+/-	2025	VLDB	4.1945683e-05
11,130	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1945683e-05
11,179	Probabilistic Reasoning at Scale: Trigger Graphs to the Rescue	2023	SIGMOD	4.1945683e-05
11,206	When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler	2023	SIGMOD	4.1945683e-05
11,248	Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting	2023	VLDB	4.1945683e-05
11,301	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1945683e-05
11,386	Rewriting the Infinite Chase	2022	VLDB	4.1945683e-05
13,192	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
613	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00019181325
1,883	The iBench Integration Metadata Generator	2016	VLDB	0.00010215862
2,936	Querying with Access Patterns and Integrity Constraints	2015	VLDB	7.8554347e-05
3,004	Benchmarking the Chase	2017	PODS	7.7314538e-05
4,907	DEMo: Data Exchange Modeling Tool	2009	VLDB	5.8359897e-05
5,382	That's All Folks! LLUNATIC Goes Open Source	2014	VLDB	5.5397633e-05
7,956	Expressiveness of Guarded Existential Rule Languages	2014	PODS	4.613363e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
6,662	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB	4.9704872e-05
13,192	KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs	2023	VLDB	-
9,813	Datalog with First-Class Facts	2025	VLDB	4.2783272e-05
5,003	Graph Queries in a Next-Generation Datalog System	2013	VLDB	5.7652482e-05
11,301	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog	2023	VLDB	4.1945683e-05
2,720	A General Datalog-Based Framework for Tractable Query Answering over Ontologies	2009	PODS	8.2367715e-05
4,298	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.2885419e-05
9,377	Exploiting the Power of Equality-generating Dependencies in Ontological Reasoning	2022	VLDB	4.347117e-05
9,738	The Space-Efficient Core of Vadalog	2019	PODS	4.2936538e-05
11,130	The Vadalog Parallel System: Distributed Reasoning with Datalog+/-	2024	VLDB	4.1945683e-05