Pages that link to "Item:Q2238711"
From MaRDI portal
The following pages link to First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711):
Displaying 5 items.
- Deciding FO-definability of regular languages (Q2695357) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)
- Ontology-mediated query answering over temporal data: a survey (invited talk) (Q6486414) (← links)
- Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course (Q6488097) (← links)