Temporal OBDA with LTL and DL-Lite

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 International Workshop on Description Logics  
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.
dblp:conf/dlog/ArtaleKKRWZ14 fatcat:7jzf7lwobze23cwrsrp2wf2lp4