A Unified Framework for Non-standard Reasoning Services in Description Logics