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

Mathematics Subject Classification ID

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

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)

• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• Temporal query answering in the description logic DL-Lite
• Temporalizing ontology-based data access
• Queries on ontologies with temporal dependences on Allen's extended interval logic
• First-order rewritability of ontology-mediated queries in linear temporal logic
• 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)
• Temporal Minimal-World Query Answering over Sparse ABoxes
• Querying log data with metric temporal logic
• 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)