Description logic; Knowledge representation; Set theory

Adding the power-set to description logics