Consequence-Based Procedure for Description Logics with Self-Restriction