Pay-as-you-go consequence-based reasoning for the description logic SROIQ
From MaRDI portal
Publication:2238693
DOI10.1016/J.ARTINT.2021.103518OpenAlexW3159100652MaRDI QIDQ2238693FDOQ2238693
Authors: David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks 
Publication date: 2 November 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2021.103518
Recommendations
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
- Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures
- A resolution based description logic calculus
- Hypertableau reasoning for description logics
- Consequence-based and fixed-parameter tractable reasoning in description logics
Cites Work
- Modular reuse of ontologies: theory and practice
- Resolution theorem proving
- Title not available (Why is that?)
- Hypertableau reasoning for description logics
- Title not available (Why is that?)
- Decidability of SHIQ with complex role inclusion axioms
- Title not available (Why is that?)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Theorem proving with ordering and equality constrained clauses
- Computing small clause normal forms
- Paramodulation-based theorem proving
- Title not available (Why is that?)
- Consequence-based and fixed-parameter tractable reasoning in description logics
- Deciding expressive description logics in the framework of resolution
- Resolution-based methods for modal logics
- An introduction to description logic
- Hyper tableaux
- Hyperresolution for guarded formulae
- Using resolution for testing modal satisfiability and building models
- Title not available (Why is that?)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- First-order resolution methods for modal logics
- Simple and Efficient Clause Subsumption with Feature Vector Indexing
- Blocking and other enhancements for bottom-up model generation methods
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
- An ExpTime tableau method for dealing with nominals and qualified number restrictions in deciding the description logic SHOQ
Cited In (3)
Uses Software
This page was built for publication: Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2238693)
