BIROn - Birkbeck Institutional Research Online

    Querying log data with Metric Temporal Logic

    Brandt, S. and Güzel Kalaycı, E. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2018) Querying log data with Metric Temporal Logic. Artificial Intelligence Research 62 , pp. 829-877. ISSN 1927-6974.

    This is the latest version of this item.

    11229-Article (PDF)-20821-1-10-20180831.pdf - Published Version of Record
    Available under License Creative Commons Attribution.

    Download (705kB) | Preview


    We propose a novel framework for ontology-based access to temporal log data using a datalog extension datalogMTL of a Horn fragment of the metric temporal logic MTL. We show that datalogMTL is ExpSpace-complete even with punctual intervals, in which case full MTL is known to be undecidable. We also prove that nonrecursive datalogMTL is PSpace-complete for combined complexity and in AC0 for data complexity. We demonstrate by two real-world use cases that nonrecursive datalogMTL programs can express complex temporal concepts from typical user queries and thereby facilitate access to temporal log data. Our experiments with Siemens turbine data and MesoWest weather data show that datalogMTL ontology-mediated queries are efficient and scale on large datasets of up to 8.3GB.


    Item Type: Article
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Vladislav Ryzhikov
    Date Deposited: 15 Oct 2018 14:52
    Last Modified: 09 Aug 2023 12:45

    Available Versions of this Item

    • Querying log data with Metric Temporal Logic. (deposited 15 Oct 2018 14:52) [Currently Displayed]


    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