Complexities of Horn Description Logics. (ACM Trans. Comput. Log., 2013)

(untitled) - Krötzsch, M; Rudolph, S; Hitzler, P