Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

DOI10.4230/LIPICS.TIME.2021.10MaRDI QIDQ6080274zbMATH OpenOpenAlexFDO

Authors Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Publication date 2 October 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/14786/pdf/LIPIcs-TIME-2021-10.pdf/

zbMATH Keywords

first-order rewritabilitylinear temporal logicontology-mediated query

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Cited in

(3)

• Deciding FO-definability of regular languages
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

This page was built for publication: Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080274)