Augmenting Subsumption Propagation in Distributed Description Logics