The following pages link to (Q3351355):
Displayed 4 items.
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← 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)