{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T00:54:56Z","timestamp":1775868896023,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8]]},"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>","DOI":"10.24963\/ijcai.2023\/360","type":"proceedings-article","created":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:31:30Z","timestamp":1691742690000},"page":"3230-3238","source":"Crossref","is-referenced-by-count":3,"title":["Reverse Engineering of Temporal Queries Mediated by LTL Ontologies"],"prefix":"10.24963","author":[{"given":"Marie","family":"Fortin","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boris","family":"Konev","sequence":"additional","affiliation":[{"name":"University of Liverpool"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladislav","family":"Ryzhikov","sequence":"additional","affiliation":[{"name":"Birkbeck, University of London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yury","family":"Savateev","sequence":"additional","affiliation":[{"name":"University of Southampton"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Wolter","sequence":"additional","affiliation":[{"name":"University of Liverpool"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Zakharyaschev","sequence":"additional","affiliation":[{"name":"Birkbeck, University of London"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}","theme":"Artificial Intelligence","location":"Macau, SAR China","acronym":"IJCAI-2023","number":"32","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2023,8,19]]},"end":{"date-parts":[[2023,8,25]]}},"container-title":["Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:47:01Z","timestamp":1691743621000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2023\/360"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2023\/360","relation":{},"subject":[],"published":{"date-parts":[[2023,8]]}}}