The Vadalog System: Datalog-based Reasoning for Knowledge Graphs
Design and Implementation of the LogicBlox System