Hypertableau reasoning for Description Logics (0)

by Boris Motik, Rob Shearer, Ian Horrocks
Venue:Journal of Artificial Intelligence Research