publication venue for On the Satisfiability of Quasi-Classical Description Logics. 36:1415-1446. 2017