Adding the power-set to description logics