Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
- Publication date
- 1 January 2021
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)