Talks and Poster Presentations (with Proceedings-Entry):
G. Gottlob, M. Morak, A. Pieris:
"Recent Advances in Datalog+/-";
Talk: 11th International Summer School Reasoning Web 2015,
Berlin, Germany (invited);
- 2015-08-04; in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures.",
Lecture Notes in Computer Science Volume 9203 2015
This tutorial, which is a continuation of the tutorial "Datalog and Its Extensions for Semantic Web Databases" presented in the Reasoning Web 2012 Summer School, discusses recent advances in the Datalogą family of languages for knowledge representation and reasoning. These languages extend plain Datalog with key modeling features such as existential quantification (signified by the "+" symbol), and at the same time apply syntactic restrictions to achieve decidability of ontological reasoning and, in some relevant cases, also tractability (signified by the symbol "−"). In this tutorial, we first introduce the main Datalogą languages that are based on the well-known notion of guardedness. Then, we discuss how these languages can be extended with important features such as disjunction and default negation.
Datalog, Negation, Rules
Electronic version of the publication:
Project Head Stefan Woltran:
Created from the Publication Database of the Vienna University of Technology.