Edinburgh Research Explorer

Recent Advances in Datalog ^backslashpm

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

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
Number of pages25
ISBN (Electronic)978-3-319-21768-0
ISBN (Print)978-3-319-21767-3
Publication statusPublished - 2015

Publication series

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


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.

ID: 28083875