BIROn - Birkbeck Institutional Research Online

    Ontology-mediated query answering over temporal data: a survey

    Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, V. and Wolter, F. and Zakharyaschev, Michael (2017) Ontology-mediated query answering over temporal data: a survey. In: Schewe, S. and Schneider, T. and Wijsen, J. (eds.) 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs) 90. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-37. ISBN 9783959770521.

    [img]
    Preview
    Text
    19635.pdf - Published Version of Record
    Available under License Creative Commons Attribution.

    Download (895kB) | Preview

    Abstract

    We discuss the use of various temporal knowledge representation formalisms for ontology-mediated query answering over temporal data. In particular, we analyse ontology and query languages based on the linear temporal logic LTL, the multi-dimensional Halpern-Shoham interval temporal logic HSn, as well as the metric temporal logic MTL. Our main focus is on the data complexity of answering temporal ontology-mediated queries and their rewritability into standard first-order and datalog queries.

    Metadata

    Item Type: Book Section
    Additional Information: ISSN: 1868-8969
    Keyword(s) / Subject(s): Description Logic, Temporal Logic, Ontology Mediated Query Answering, Data Complexity
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Roman Kontchakov
    Date Deposited: 12 Dec 2017 09:21
    Last Modified: 30 Jul 2019 05:30
    URI: http://eprints.bbk.ac.uk/id/eprint/19635

    Statistics

    Downloads
    Activity Overview
    22Downloads
    81Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item