The following pages link to (Q4539597):
Displaying 8 items.
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- An algebraic view on p-admissible concrete domains for lightweight description logics (Q2055793) (← links)
- Using model theory to find decidable and tractable description logics with concrete domains (Q2090131) (← links)
- Description logics with concrete domains and general concept inclusions revisited (Q2096462) (← links)
- Taming past LTL and flat counter systems (Q2346416) (← links)
- (Q4539596) (← links)
- First steps towards taming description logics with strings (Q6545544) (← links)