Fortin, M, Konev, B 
ORCID: 0000-0002-6507-0494, Ryzhikov, V, Savateev, Y, Wolter, F and Zakharyaschev, M
(2022)
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps.
.
Abstract
In reverse engineering of database queries, one aims to construct a query from a set of positively and negatively labelled answers and non-answers. The query can then be used to explore the data further or as an explanation of the answers and non-answers. We consider this reverse engineering problem for queries formulated in various fragments of positive linear temporal logic LTL over data instances given by timestamped atomic concepts. We focus on the design of suitable query languages and the complexity of the separability problem: ‘does there exist a query in the given query language that separates the given answers from the non-answers?’. We deal with both plain LTL queries and those that are mediated by ontologies providing background knowledge and formulated in fragments of clausal LTL.
| 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: | 21 Apr 2023 14:32 |
| Last Modified: | 21 Apr 2023 14:32 |
| Open Access URL: | https://ceur-ws.org/Vol-3263/abstract-8.pdf |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3169866 |
Share
Share
