C.  Wang and Hitzler, P., ?Consequence-Based Procedure for Description Logics with Self-Restriction?, in Semantic Web and Web Science - 6th Chinese Semantic Web Symposium and 1st Chinese Web Science Conference, CSWS 2012, Shenzhen, China, November 28-30, 2012., 2012, pp. 169?180.