Giordano L

Latest

• Adding the power-set to description logics
• Extending$$mathcal ALC$$ with the Power-Set Construct