From Description to Hybrid Logics, and Back