Boosting the Correspondence between Description Logics and Propositional Dynamic Logics