BIROn - Birkbeck Institutional Research Online

    Queries with negation and inequalities over lightweight ontologies

    Gutiérrez-Basulto, V. and Ibáñez-García, Y. and Kontchakov, Roman and Kostylev, E.V. (2015) Queries with negation and inequalities over lightweight ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 35 (4), pp. 184-202. ISSN 1570-8268.

    [img]
    Preview
    Text
    jws.pdf - Author's Accepted Manuscript

    Download (301kB) | Preview

    Abstract

    While the problem of answering positive existential queries, in particular, conjunctive queries (CQs) and unions of CQs, over description logic ontologies has been studied extensively, there have been few attempts to analyse queries with negated atoms. Our aim is to sharpen the complexity landscape of the problem of answering CQs with negation and inequalities in lightweight description logics of the DL-Lite and EL families. We begin by considering queries with safe negation and show that there is a surprisingly significant increase in the complexity from AC0 to undecidability (even if the ontology and query are fixed and only the data is regarded as input). We also investigate the problem of answering queries with inequalities and show that answering a single CQ with one inequality over DL-Lite with role inclusions is undecidable. In the light of our undecidability results, we explore syntactic restrictions to attain efficient query answering with negated atoms. In particular, we identify a novel class of local CQs with inequalities, for which query answering over DL-Lite is decidable.

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): Description logics, Ontological query answering. Conjunctive queries with negation, Inequalities, DL-lite, EL
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Roman Kontchakov
    Date Deposited: 26 Nov 2015 14:04
    Last Modified: 05 Aug 2019 15:01
    URI: http://eprints.bbk.ac.uk/id/eprint/13588

    Statistics

    Downloads
    Activity Overview
    85Downloads
    139Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item