Temporal OBDA with LTL and DL-Lite
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2014
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 fi�nite automata with data given on the automaton tape.