Details
Lineage
- Prometheux, 2022: based on Vadalog.
Vadalog
A knowledge graph management system from the University of Oxford that reasons over knowledge graphs in the Vadalog language, built on Warded Datalog+/- to combine full recursion with ontological reasoning at polynomial data complexity. Developed in the VADA research programme and commercialised by Prometheux as Vadalog Parallel.
Elsewhere
- Overall rank
- #89
- First released
- 2018
- License
- Not listed
Sources 1 reference
Released 2018
Dated from the system paper in PVLDB volume 11 (2018); no separate public release announcement exists.
-
In this paper we present the Vadalog system, a Datalog-based system for performing complex logic reasoning tasks
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (PVLDB 11(9), 2018) · reviewed 2026-09-23