C.  Shimizu, Hitzler, P., and Horridge, M., ?Rendering OWL in Description Logic Syntax?, in ESWC 2017, Heidelberg, 2017.