Recent Advances in Datalog ^backslashpm

Georg Gottlob, Michael Morak, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationReasoning Web. Web Logic Rules
Subtitle of host publication11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
EditorsWolfgang Faber, Adrian Paschke
Place of PublicationCham
PublisherSpringer International Publishing
Pages193-217
Number of pages25
ISBN (Electronic)978-3-319-21768-0
ISBN (Print)978-3-319-21767-3
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9203
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Recent Advances in Datalog ^backslashpm'. Together they form a unique fingerprint.

Cite this