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: |  |