BIROn - Birkbeck Institutional Research Online

    Temporalized EL ontologies for accessing temporal data: complexity of atomic queries

    Gutiérrez-Basulto, V. and Jung, J.C. and Kontchakov, Roman (2016) Temporalized EL ontologies for accessing temporal data: complexity of atomic queries. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California, USA: AAAI Press, pp. 1102-1108. ISBN 9781577357704.

    [img] Text
    Temp el oncol.pdf - Published Version of Record
    Restricted to Repository staff only

    Download (768kB)

    Abstract

    We study access to temporal data with TEL, a temporal extension of the tractable description logic EL. Our aim is to establish a clear computational complexity landscape for the atomic query answering problem, in terms of both data and combined complexity. Atomic queries in full TEL turn out to be undecidable even in data complexity. Motivated by the negative result, we identify well-behaved yet expressive fragments of TEL. Our main contributions are a semantic and sufficient syntactic conditions for decidability and three orthogonal tractable fragments, which are based on restricted use of rigid roles, temporal operators, and novel acyclicity conditions on the ontologies.

    Metadata

    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 12 Jul 2016 08:48
    Last Modified: 09 Aug 2023 12:38
    URI: https://eprints.bbk.ac.uk/id/eprint/15033

    Statistics

    Activity Overview
    6 month trend
    4Downloads
    6 month trend
    223Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item