Optimized description logic reasoning via core blocking

DOI10.1007/978-3-642-14203-1_39zbMATH1291.68344DBLPconf/cade/GlimmHM10OpenAlexW1499234184WikidataQ56988663MaRDI QIDQ5747784FDOQ5747784

Authors Birte Glimm, Ian Horrocks, Boris Motik

Publication date 14 September 2010

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14203-1_39

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Optimized Reasoning in Description Logics Using Hypertableaux
• Hypertableau reasoning for description logics
• Extended caching, backjumping and merging for expressive description logics
• Optimizing terminological reasoning for expressive description logics
• Optimizing description logic subsumption

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

Describes a project that uses

Uses Software

• Pellet

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)