Vadalog - Recent Advances and Applications.

Vadalog is a logic-based reasoning language for modern AI applications, in particular for knowledge graph systems. In this paper, we present recent advances and applications, with a focus on the Vadalog language itself. We first give an easy-to-access self-contained introduction to Warded Datalog+/-, the logical core of Vadalog. We then discuss some recent advances: Datalog rewritability of Warded Datalog+/-, and the piece-wise linear fragment of Warded Datalog+/- that achieves space efficiency. We then proceed with some recent practical applications of the Vadalog language: detection of close links in financial knowledge graphs, as well as the detection of family-owned businesses.