Optimized description logic reasoning via core blocking
From MaRDI portal
Publication:5747784
Recommendations
Cites work
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1765711 (Why is no real title available?)
- Blocking and Other Enhancements for Bottom-Up Model Generation Methods
- EXPtime tableaux for ALC
- Hypertableau reasoning for description logics
- Sound global state caching for ALC with inverse roles
Cited in
(7)- A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)
- Extended caching, backjumping and merging for expressive description logics
- Optimized Reasoning in Description Logics Using Hypertableaux
- Classical algorithms for reasoning and explanation in description logics
- HermiT: an OWL 2 reasoner
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- Hypertableau reasoning for description logics
This page was built for publication: Optimized description logic reasoning via core blocking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747784)