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

DOI10.1007/978-3-030-60067-9_5zbMATH Open1519.68266MaRDI QIDQ6488097FDOQ6488097

Authors: Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev 

Publication date: 24 March 2023

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

Mathematics Subject Classification ID

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

Cited In (10)

• First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
• Temporalizing ontology-based data access
• Temporal query answering in the description logic DL-Lite
• 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)