Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael (2023) Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. In: Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, 2023-8-19 - 2023-8-25.

PDF 23-IJCAI-final.pdf - Author Accepted Manuscript Download (444kB) | Preview

Abstract

<jats:p>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 timestamped 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.</jats:p>

Item Type:	Conference or Workshop Item (Unspecified)
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Symplectic Admin
Date Deposited:	19 Sep 2023 07:33
Last Modified:	15 Mar 2024 10:00
DOI:	10.24963/ijcai.2023/360
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3172849