Issues of decidability for description logics in the framework of resolution
From MaRDI portal
Recommendations
Cited in
(16)- A new methodology for developing deduction methods
- Hyperresolution for guarded formulae
- The descriptive complexity of decision problems through logics with relational fixed-point and capturing results
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Blocking and other enhancements for bottom-up model generation methods
- Existential second-order logic and modal logic with quantified accessibility relations
- A resolution based description logic calculus
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- Simulation and synthesis of deduction calculi
- Individual Reuse in Description Logic Reasoning
- Description Logics
- First-order resolution methods for modal logics
- Using tableau to decide description logics with full role negation and identity
- Logic for Programming, Artificial Intelligence, and Reasoning
- Deciding expressive description logics in the framework of resolution
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
This page was built for publication: Issues of decidability for description logics in the framework of resolution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503911)
