Vadalog system, a Datalog-based system for performingcomplex logic reasoning tasks

• VADA: Value Added Data System The Vadalog system is Oxford’s contributionto the VADA research programme, a joint effort of the universi-ties of Oxford, Manchester and Edinburgh and around 20 indus-trial partners.
• The Vadalog System:Datalog-based Reasoning for Knowledge Graphs (VLDB Conferences paper)