Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)

DOI10.1007/S10817-008-9100-YzbMath1137.68592OpenAlexW4246159497MaRDI QIDQ928674

Yevgeny Kazakov, Boris Motik

Publication date: 11 June 2008

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-008-9100-y

zbMATH Keywords

Description logicsNominalsResolution decision procedures

Mathematics Subject Classification ID

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

This page was built for publication: Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\)