The following pages link to (Q4012243):
Displayed 8 items.
- An epistemic operator for description logics (Q1128772) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- The complexity of concept languages (Q1363785) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Description Logics (Q3638996) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)