ALC + T: a Preferential Extension of Description Logics