First-Order Rewritability of Temporal Ontology-Mediated Queries

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. First-Order Rewritability of Temporal Ontology-Mediated Queries. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 2706-2712, AAAI Press, 2015. [doi]

Abstract

Abstract is missing.