Pages that link to "Item:Q4576218"
From MaRDI portal
The following pages link to On metric temporal description logics (Q4576218):
Displaying 12 items.
- Metric temporal description logics with interval-rigid names (Q1687541) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- On Process-Algebraic Extensions of Metric Temporal Logic (Q3163409) (← links)
- A Correspondence between Temporal Description Logics (Q3643271) (← links)
- Querying Log Data with Metric Temporal Logic (Q4585057) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- Metric Temporal Description Logics with Interval-Rigid Names (Q5121281) (← links)
- (Q5376664) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)