Pages that link to "Item:Q3643271"
From MaRDI portal
The following pages link to A Correspondence between Temporal Description Logics (Q3643271):
Displaying 6 items.
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Temporalizing description logics (Q2782498) (← links)
- Decidable temporal dynamic description logic (Q2917155) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models (Q3172878) (← links)
- On metric temporal description logics (Q4576218) (← links)