Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022. pages 5703-5707, ijcai.org, 2022. [doi]
Abstract is missing.