The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications