BIROn - Birkbeck Institutional Research Online

    Datalog+/-: a family of languages for ontology querying

    Calì, Andrea and Gottlob, G. and Lukasiewicz, T. and Pieris, A. (2011) Datalog+/-: a family of languages for ontology querying. In: de Moor, O. and Gottlob, G. and Furche, T. and Sellers, A. (eds.) Datalog Reloaded. Lecture Notes in Computer Science 6702. London, UK: Springer, pp. 351-368. ISBN 9783642242069.

    Full text not available from this repository.

    Abstract

    In ontology-based data access, an extensional database is enhanced by an ontology that generates new intensional knowledge which has to be considered when answering queries. In this setting, tractable data complexity (i.e., complexity w.r.t. the data only) of query answering is crucial, given the need to deal with large data sets. This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying. Plain Datalog is extended by allowing existential quantifiers, the equality predicate, and the truth constant false to appear in rule heads. At the same time, the resulting language is syntactically restricted, so as to achieve decidability and even tractability.

    Metadata

    Item Type: Book Section
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Research Centre: Birkbeck Knowledge Lab
    Depositing User: Sarah Hall
    Date Deposited: 09 May 2013 16:32
    Last Modified: 02 Dec 2016 13:22
    URI: http://eprints.bbk.ac.uk/id/eprint/6674

    Statistics

    Downloads
    Activity Overview
    0Downloads
    89Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item