Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
LICS, pp. 228-242, 2010.
rule headlogical knowledge representationdatalog-based languagetractable ontology queryingnew frameworkMore(15+)
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 s...More
Full Text (Upload PDF)
PPT (Upload PPT)