Complexity of Arithmetic in Warded Datalog+-

Lucas Berent, Markus Nissl, Emanuel Sallinger

Warded Datalog+- extends the logic-based language Datalog with existential quantifiers in rule heads. Existential rules are needed for advanced reasoning tasks, e.g., ontological r…