Individual Reuse in Description Logic Reasoning

DOI10.1007/978-3-540-71070-7_20MaRDI QIDQ3541705zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Boris Motik, Ian Horrocks

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71070-7_20

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Hypertableau reasoning for description logics
• Optimized Reasoning in Description Logics Using Hypertableaux
• scientific article; zbMATH DE number 1612535
• Pay-as-you-go description logic reasoning by coupling tableau and saturation procedures
• An overview of tableau algorithms for description logics

Cites work

• scientific article; zbMATH DE number 1301750 (Why is no real title available?)
• scientific article; zbMATH DE number 1059246 (Why is no real title available?)
• scientific article; zbMATH DE number 1507191 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• Hyper tableaux
• Hyperresolution for guarded formulae
• Hypertableau reasoning for description logics
• Optimized Reasoning in Description Logics Using Hypertableaux
• The Description Logic Handbook

Cited in

(6)

• HermiT: an OWL 2 reasoner
• Optimized Reasoning in Description Logics Using Hypertableaux
• Hypertableau reasoning for description logics
• Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
• Island reasoning for \(\mathcal{ALCHI}\) ontologies
• A refined tableau calculus with controlled blocking for the description logic \(\mathcal{SHOI}\)

Describes a project that uses

Uses Software

• CEL
• FaCT++
• Pellet

This page was built for publication: Individual Reuse in Description Logic Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541705)