M.  Krötzsch, Rudolph, S., and Hitzler, P., ?Complexities of Horn Description Logics?, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.