Zhang, X.; Feng, Z.; Wu, W.; Hossain, M.; MacCaull, W. On the Satisfiability of Quasi-Classical Description Logics. Comput. Inform. 2018, 36, 1415-1446.