X. Zhang, Z. Feng, W. Wu, M. Hossain, and W. MacCaull, “On the Satisfiability of Quasi-Classical Description Logics”, Comput. Inform., vol. 36, no. 6, pp. 1415–1446, Feb. 2018.