Enhancing Description Logics For Rules Coverage