We present a consequence based classification procedure for the description logics with self restriction constructor. Due to the difficulty of constructing a concept inclusion model for self restriction, we use a different proof by showing that all the completion rules can simulate all the corresponding ordered resolution inferences.
& Hitzler, P.
(2013). Consequence Based Procedure for Description Logics with Self Restriction. Semantic Web and Web Science, 169-180.