Nominal Schemas in Description Logics: Complexities Clarified