Hypertableau reasoning for description logics. (2009)

by B Motik, R Shearer, I Horrocks
Venue:Journal of Artificial Intelligence Research