Extending$$mathcal ALC$$ with the Power-Set Construct