Complexities of Horn Description Logics. - KRÖTZSCH, MARKUS; RUDOLPH, SEBASTIAN; HITZLER, PASCAL (ACM Transactions on Computational Logic, 2013)