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.
|
Text
AAAI-17.pdf - Draft Version Download (343kB) | Preview |
Abstract
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.
Metadata
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 |
URI: | https://eprints.bbk.ac.uk/id/eprint/19633 |
Statistics
Additional statistics are available via IRStats2.