Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas