TY - GEN
T1 - Datalog+/-: A Family of Languages for Ontology Querying
AU - Calì, Andrea
AU - Gottlob, Georg
AU - Lukasiewicz, Thomas
AU - Pieris, Andreas
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-24206-9_20
DO - 10.1007/978-3-642-24206-9_20
M3 - Conference contribution
SN - 978-3-642-24205-2
T3 - Lecture Notes in Computer Science (LNCS)
SP - 351
EP - 368
BT - Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
PB - Springer
ER -