Scalable Reasoning For Description Logics