Hypertableau Reasoning for Description Logics

Boris Motik, Rob Shearer, Ian Horrocks. Hypertableau Reasoning for Description Logics. J. Artif. Intell. Res. (JAIR), 36:165-228, 2009. [doi]

Abstract

Abstract is missing.