D.  Carral, ?Efficient Reasoning Algorithms for Fragments of Horn Description Logics?, Wright State University, Dayton, 2017.