Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

DOI10.1007/978-3-030-60067-9_5MaRDI QIDQ6488097zbMATH OpenFDO

Authors Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev

Publication date 24 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-60067-9_5

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• First-order rewritability of ontology-mediated queries in linear temporal logic
• Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic
• Ontology-mediated query answering over temporal data: a survey (invited talk)
• Temporalizing ontology-based data access
• Queries on ontologies with temporal dependences on Allen's extended interval logic

Cited in

(10)

• Queries on ontologies with temporal dependences on Allen's extended interval logic
• First-order rewritability of ontology-mediated queries in linear temporal logic
• Temporal query answering in the description logic DL-Lite
• Querying log data with metric temporal logic
• Temporalizing ontology-based data access
• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• Temporal Minimal-World Query Answering over Sparse ABoxes
• Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic
• Ontology-mediated query answering over temporal data: a survey (invited talk)
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes

This page was built for publication: Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course

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