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

    LICS, pp. 228-242, 2010.

    Cited by: 135|Bibtex|Views22|Links
    EI
    Keywords:
    rule headlogical knowledge representationdatalog-based languagetractable ontology queryingnew frameworkMore(15+)

    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 s...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments