FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps

Authors: Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev

Paper Information

Title:Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps
Authors:Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:Reverse engineering of queries, query-by-example, explanation, linear temporal logic, ontology-mediated query, computational complexity
Pages:1
Talk:Aug 07 10:05 (Session 85C: Opening and Query Answering)
Paper: