The following pages link to (Q3351355):
Displayed 6 items.
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- On Hierarchical Task Networks (Q2835901) (← links)
- A short biography of Luis Fariñas del Cerro (Q4586226) (← links)
- A Tableau Calculus for Regular Grammar Logics with Converse (Q5191117) (← links)
- An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785) (← links)