Reasoning for description logics around SHIQ in a resolution framework (2004)

by U Hustadt, B Motik, U Sattler