D.  Carral, ?Effiìient Reasoning Algorithms for Fragments of Horn Description Logics?, Wright State University, Dayton, OH, USA, 2016.