Description Logics and Modal Logics