Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2023) Reverse engineering of temporal queries mediated by LTL ontologies. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 3230-3238. ISBN 9781956792034.
|
Text
23-Arxiv.pdf - Author's Accepted Manuscript Download (638kB) | Preview |
Abstract
In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers; it can then be used to explore the data further or as an explanation of the answers and non-answers. We investigate this query-by-example problem for queries formulated in positive fragments of linear temporal logic LTL over time-stamped data, focusing on the design of suitable query languages and the combined and data complexity of deciding whether there exists a query in the given language that separates the given answers from non-answers. We consider both plain LTL queries and those mediated by LTL-ontologies.
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Vladislav Ryzhikov |
| Date Deposited: | 08 Nov 2023 12:39 |
| Last Modified: | 08 Nov 2023 15:31 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/51393 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
