Temporalizing Description Logics