Datalog+/-: A Family of Logical Knowledge Representation Languages


In this talk I’ll give an overview of Datalog+/-, that is, a family of expressive extensions of Datalog that has recently been introduced as a new paradigm for query answering in the presence of ontologies, and for a variety of other applications such as data exchange, web data extraction and conceptual modeling to name a few. Datalog+/- languages extend Datalog by features such as existential quantification and equality in rule-heads and, at the same time, restrict the rule syntax so as to achieve decidability and tractability w.r.t. the input database.