First-order rewritability of temporal ontology-mediated queries. In: (2015)

by A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, M Zakharyaschev
Venue:Proc. IJCAI