Datalog+/-: A Family of Languages for Ontology Querying

Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris

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

Abstract

In ontology-based data access, an extensional database is enhanced by an ontology that generates new intensional knowledge which has to be considered when answering queries. In this setting, tractable data complexity (i.e., complexity w.r.t. the data only) of query answering is crucial, given the need to deal with large data sets. This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying. Plain Datalog is extended by allowing existential quantifiers, the equality predicate, and the truth constant false to appear in rule heads. At the same time, the resulting language is syntactically restricted, so as to achieve decidability and even tractability.
Original languageEnglish
Title of host publicationDatalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
PublisherSpringer Berlin Heidelberg
Pages351-368
Number of pages18
ISBN (Electronic)978-3-642-24206-9
ISBN (Print)978-3-642-24205-2
DOIs
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer Berlin Heidelberg
Volume6702
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Datalog+/-: A Family of Languages for Ontology Querying'. Together they form a unique fingerprint.

Cite this