ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality