Temporal OBDA with LTL and DL-Lite
Authors: Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev
Paper Information
| Title: | Temporal OBDA with LTL and DL-Lite |
| Authors: | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev |
| Proceedings: | DL 2014 Proceedings |
| Editors: | Meghyn Bienvenu, Riccardo Rosati, Magdalena Ortiz and Mantas Simkus |
| Keywords: | ontology-based data access, temporal logic, DL-Lite, query rewriting |
| Abstract: | ABSTRACT. We investigate various types of query rewriting over ontologies given in the standard temporal logic LTL as well as combinations of LTL with DL-Lite logics. In particular, we consider FO(<)-rewritings that can use the temporal precedence relation, FO(<,+)-rewritings that can also employ the arithmetic predicate PLUS, and rewritings to finite automata with data given on the automaton tape. |
| Pages: | 12 |
| Talk: | Jul 18 12:00 |
| Paper: |  |