BIROn - Birkbeck Institutional Research Online

    Conjunctive queries with negation over DL-Lite: a closer look

    Gutiérrez-Basulto, V. and Ibáñez-García, Y. and Kontchakov, Roman and Kostylev, E. (2013) Conjunctive queries with negation over DL-Lite: a closer look. In: Faber, W. and Lembo, D. (eds.) Web Reasoning and Rule Systems. LNCS 7994. Berlin, Germany: Springer, pp. 109-122. ISBN 9783642396656.

    RR-2013.pdf - Author's Accepted Manuscript

    Download (308kB) | Preview


    While conjunctive query (CQ) answering over DL-Lite has been studied extensively, there have been few attempts to analyse CQs with negated atoms. This paper deepens the study of the problem. Answering CQs with safe negation and CQs with a single inequality over DL-Lite with role inclusions is shown to be undecidable, even for a fixed TBox and query.Without role inclusions, answering CQs with one inequality is P-hard and with two inequalities CoNP-hard in data complexity.


    Item Type: Book Section
    Additional Information: 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 11 Aug 2014 11:42
    Last Modified: 09 Aug 2023 12:35


    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