Optimized Description Logic Reasoning via Core Blocking

DOI10.1007/978-3-642-14203-1_39zbMath1291.68344OpenAlexW1499234184WikidataQ56988663 ScholiaQ56988663MaRDI QIDQ5747784

Birte Glimm, Boris Motik, Ian Horrocks

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

Related Items (1)

HermiT: an OWL 2 reasoner

Uses Software

• Pellet

Cites Work

• Unnamed Item
• Unnamed Item
• EXPtime tableaux for ALC
• Blocking and Other Enhancements for Bottom-Up Model Generation Methods
• Sound Global State Caching for ALC with Inverse Roles
• Hypertableau Reasoning for Description Logics

This page was built for publication: Optimized Description Logic Reasoning via Core Blocking