BIROn - Birkbeck Institutional Research Online

    Tractable query answering over ontologies with datalog

    Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2009) Tractable query answering over ontologies with datalog. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

    Full text not available from this repository.


    We present 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. In particular, we show that query answering under so-called guarded Datalog is PTIME-complete in data complexity, and that query answering under so-called linear Datalog is in AC0 in data complexity. We also show how negative constraints and a general class of key constraints can be added to Datalog while keeping ontology querying tractable. We then show that linear Datalog, enriched with a special class of key constraints, generalizes the well-known DL-Lite family of tractable description logics. 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.


    Item Type: Book Section
    Additional Information: Series ISSN: 1613-0073
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Research Centres and Institutes: Birkbeck Knowledge Lab
    Depositing User: Sarah Hall
    Date Deposited: 10 May 2013 16:36
    Last Modified: 09 Aug 2023 12:33


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item