BIROn - Birkbeck Institutional Research Online

    A general datalog-based framework for tractable query answering over ontologies

    Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2009) A general datalog-based framework for tractable query answering over ontologies. In: Paredaens, J. and Su, J. (eds.) Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '09. New York, U.S.: ACM Publications, pp. 77-86. ISBN 9781605585536.

    Full text not available from this repository.

    Abstract

    In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query answering over ontologies. The Datalog+/- family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontology querying. We show in particular that Datalog+/- generalizes the DL-Lite family of tractable description logics, which are the most common tractable ontology languages in the context of the Semantic Web and databases. We also show how stratified negation can be added to Datalog+/- while keeping ontology querying tractable. Furthermore, the Datalog+/- family is of interest in its own right and can, moreover, be used in various contexts such as data integration and data exchange.

    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: Administrator
    Date Deposited: 14 May 2013 10:15
    Last Modified: 02 Dec 2016 13:22
    URI: http://eprints.bbk.ac.uk/id/eprint/6744

    Statistics

    Downloads
    Activity Overview
    0Downloads
    80Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item