Conference item icon

Conference item

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.

Actions


Authors


Andrea Calì More by this author
Georg Gottlob More by this author
Thomas Lukasiewicz More by this author
Bruno Marnette More by this author
Andreas Pieris More by this author
Publisher:
IEEE Computer Society
Publication date:
2010
URN:
uuid:ad82a5c5-8ec4-4bfb-9411-8c06efbba994
Local pid:
cs:4747

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP