Vadalog: A modern architecture for automated reasoning with large knowledge graphs
作者：
Highlights：
• Growing use of enterprise knowledge graphs motivated the development of Vadalog.
• Knowledge graph management system developed at the University of Oxford.
• Based on Warded Datalog plus–minus.
• Good trade-off between computational complexity of reasoning and expressive power.
• PTIME data complexity while allowing ontological reasoning and full recursion.
• This work: Comprehensive overview of the architecture.
• Specific focus on runtime execution model and memory management
• Discussion of graph traversal strategies and join algorithms.
摘要
•Growing use of enterprise knowledge graphs motivated the development of Vadalog.•Knowledge graph management system developed at the University of Oxford.•Based on Warded Datalog plus–minus.•Good trade-off between computational complexity of reasoning and expressive power.•PTIME data complexity while allowing ontological reasoning and full recursion.•This work: Comprehensive overview of the architecture.•Specific focus on runtime execution model and memory management•Discussion of graph traversal strategies and join algorithms.
论文关键词：Knowledge graphs,Reasoning,Query answering,Datalog,Vadalog
论文评审过程：Received 1 November 2019, Accepted 1 April 2020, Available online 11 May 2020, Version of Record 24 December 2021.
论文官网地址：https://doi.org/10.1016/j.is.2020.101528
