Vadalog

Name: Vadalog
Author: University of Oxford

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.

Visit website

Elsewhere

Official websitedoi.org
Sources1 reference · reviewed 2026-09-23

First released: 2018
License: Not listed

Details

Vendor: University of Oxford
Type: Other
Kind: Query Engine
Category: Emerging
License: -
Query Languages: Vadalog

Lineage

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