Pages that link to "Item:Q2946734"
From MaRDI portal
The following pages link to A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734):
Displaying 10 items.
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Ontology-Mediated Query Answering with Data-Tractable Description Logics (Q2970310) (← links)
- (Q4580320) (← links)
- (Q5015271) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Towards World Identification in Description Logics (Q5882770) (← links)
- Temporal Minimal-World Query Answering over Sparse ABoxes (Q6063880) (← links)
