AAAI Publications, Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Datalog+/-: Questions and Answers
Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris

Last modified: 2014-05-04


Datalog+/- is a conceptually very simple formalism that extends plain Datalog with features such as existential quantifiers, equalities, and the falsum in rule heads and, at the same time, restricts the rule syntax so as to achieve decidability and, when required, tractability. Datalog+/- provides a uniform framework for query answering and reasoning with incomplete data. It generalizes disparate other KR formalisms such as plain Datalog, description logics (DLs), in particular, DL-Lite and EL, F-Logic Lite, highly relevant fragments of UML class diagrams, data-exchange formalisms, graph query languages such as SPARQL, and so on. The goal of this paper is to give concise answers to frequently asked questions about Datalog+/-.


Datalog; Ontologies; Query Answering; Conjunctive Queries

Full Text: PDF