Recent Advances in Datalog ^backslashpm

Georg Gottlob; Michael Morak; Andreas Pieris

doi:10.1007/978-3-319-21768-0_8

Recent Advances in Datalog ^backslashpm

Georg Gottlob, Michael Morak, Andreas Pieris

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Reasoning Web. Web Logic Rules
Subtitle of host publication	11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Editors	Wolfgang Faber, Adrian Paschke
Place of Publication	Cham
Publisher	Springer International Publishing
Pages	193-217
Number of pages	25
ISBN (Electronic)	978-3-319-21768-0
ISBN (Print)	978-3-319-21767-3
DOIs	https://doi.org/10.1007/978-3-319-21768-0_8
Publication status	Published - 2015

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9203
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-21768-0_8

http://link.springer.com/chapter/10.1007%2F978-3-319-21768-0_8

1 Finished

VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
EPSRC
1/04/15 → 30/09/20
Project: Research

Cite this

Gottlob, G., Morak, M., & Pieris, A. (2015). Recent Advances in Datalog ^backslashpm. In W. Faber, & A. Paschke (Eds.), Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. (pp. 193-217). (Lecture Notes in Computer Science; Vol. 9203). Springer International Publishing. https://doi.org/10.1007/978-3-319-21768-0_8

@inproceedings{090f99da51284b10b1e2014726149876,

title = "Recent Advances in Datalog ^backslashpm",

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.",

author = "Georg Gottlob and Michael Morak and Andreas Pieris",

year = "2015",

doi = "10.1007/978-3-319-21768-0_8",

language = "English",

isbn = "978-3-319-21767-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "193--217",

editor = "Wolfgang Faber and Adrian Paschke",

booktitle = "Reasoning Web. Web Logic Rules",

}

Gottlob, G, Morak, M & Pieris, A 2015, Recent Advances in Datalog ^backslashpm. in W Faber & A Paschke (eds), Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.. Lecture Notes in Computer Science, vol. 9203, Springer International Publishing, Cham, pp. 193-217. https://doi.org/10.1007/978-3-319-21768-0_8

Recent Advances in Datalog ^backslashpm. / Gottlob, Georg; Morak, Michael; Pieris, Andreas.

Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.. ed. / Wolfgang Faber; Adrian Paschke. Cham : Springer International Publishing, 2015. p. 193-217 (Lecture Notes in Computer Science; Vol. 9203).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Recent Advances in Datalog ^backslashpm

AU - Gottlob, Georg

AU - Morak, Michael

AU - Pieris, Andreas

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-21768-0_8

DO - 10.1007/978-3-319-21768-0_8

M3 - Conference contribution

SN - 978-3-319-21767-3

T3 - Lecture Notes in Computer Science

SP - 193

EP - 217

BT - Reasoning Web. Web Logic Rules

A2 - Faber, Wolfgang

A2 - Paschke, Adrian

PB - Springer International Publishing

CY - Cham

ER -

Gottlob G, Morak M, Pieris A. Recent Advances in Datalog ^backslashpm. In Faber W, Paschke A, editors, Reasoning Web. Web Logic Rules: 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.. Cham: Springer International Publishing. 2015. p. 193-217. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-21768-0_8

Recent Advances in Datalog ^backslashpm

Abstract

Publication series

Access to Document

Fingerprint

Projects

VADA: Value Added Data Systems: Principles and Architecture

Cite this