Pages that link to "Item:Q814545"
From MaRDI portal
The following pages link to Combining interval-based temporal reasoning with general TBoxes (Q814545):
Displaying 6 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- A survey of temporal extensions of description logics (Q1601879) (← links)
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- A Correspondence between Temporal Description Logics (Q3643271) (← links)
- A study on temporal fuzzy DLs based on temporal interval relationship (Q5497780) (← links)