A Resolution-Based Decision Procedure for \mathcal{SHOIQ}

DOI10.1007/11814771_53MaRDI QIDQ3613440zbMATH OpenOpenAlexFDO

Authors Yevgeny Kazakov, Boris Motik

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814771_53

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• A Decision-Making Procedure for Resolution-Based SAT-Solvers
• Logic for Programming, Artificial Intelligence, and Reasoning
• Publication:4503916
• scientific article; zbMATH DE number 1765671
• Resolution methods for the decision problem
• Resolution for stochastic Boolean satisfiability

Cited in

(12)

• Description Logics
• A resolution-based decision procedure for \({\mathcal{SHOIQ}}\).
• scientific article; zbMATH DE number 1507191 (Why is no real title available?)
• A resolution based description logic calculus
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Deciding expressive description logics in the framework of resolution
• Logic for Programming, Artificial Intelligence, and Reasoning
• Optimizing terminological reasoning for expressive description logics
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions
• Reasoning in description logics by a reduction to disjunctive datalog
• Hybrid logics and ontology languages

This page was built for publication: A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$

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