Sciweavers

Share
LICS
2010
IEEE

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications

9 years 7 months ago
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and for a variety of other applications. Datalog+/- extends plain Datalog by features such as existentially quantified rule heads and, at the same time, restricts the rule syntax so as to achieve decidability and tractability. In particular, we discuss three paradigms ensuring decidability: chase termination, guardedness, and stickiness. Keywords-Knowledge Representation and Reasoning; Query Answering; Ontologies.
Andrea Calì, Georg Gottlob, Thomas Lukasiew
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LICS
Authors Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris
Comments (0)
books