The following pages link to (Q4386962):
Displayed 6 items.
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Querying Regular Graph Patterns (Q3189642) (← links)