Pages that link to "Item:Q928657"
From MaRDI portal
The following pages link to A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657):
Displaying 12 items.
- Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions (Q2846571) (← links)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ (Q3613440) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Automated Reasoning (Q5307067) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705930) (← links)
