[Zurück]

G. Gottlob, M. Morak, A. Pieris:
"Recent Advances in Datalog+/-";
Vortrag: 11th International Summer School Reasoning Web 2015, Berlin, Germany (eingeladen); 31.07.2015 - 04.08.2015; in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures.", Springer, Lecture Notes in Computer Science Volume 9203 2015 (2015), ISBN: 978-3-319-21767-3; S. 193 - 217.

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

http://dx.doi.org/10.1007/978-3-319-21768-0_8

Projektleitung Stefan Woltran:
START