Revising General Knowledge Bases in Description Logics