On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Browse the full IJCAI paper archive.