Journal article icon

Journal article

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. © 2010 IEEE.

Actions


Access Document


Publisher copy:
10.1109/LICS.2010.27

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
IEEE Publisher's website
Journal:
LICS
Pages:
228-242
Publication date:
2010-01-01
DOI:
ISSN:
1043-6871
Source identifiers:
301367
Language:
English
Keywords:
Pubs id:
pubs:301367
UUID:
uuid:c8e81906-6d79-4512-9ab2-b956daa91dad
Local pid:
pubs:301367
Deposit date:
2012-12-19

Terms of use


Views and Downloads






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

TO TOP