BIROn - Birkbeck Institutional Research Online

    Ontology-based data access with a horn fragment of metric temporal logic

    Brandt, S. and Güzel Kalaycı, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2017) Ontology-based data access with a horn fragment of metric temporal logic. In: UNSPECIFIED (ed.) Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017). AAAI Press, pp. 1070-1076.

    AAAI-17.pdf - Draft Version

    Download (343kB) | Preview


    We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal logic MTL, as a language for ontology-based access to temporal log data. We show that datalogMTL is EXPSPACE-complete even with punctual intervals, in which case MTL is known to be undecidable. Nonrecursive datalogMTL turns out to be 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 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 11GB.


    Item Type: Book Section
    Additional Information: (C) AAAI. Series ISSN: 2159-5399
    Keyword(s) / Subject(s): ontology-based data access, metric temporal logic, datalog
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 22 Sep 2017 08:41
    Last Modified: 09 Aug 2023 12:42


    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