Polymodal Logic

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

Abstract. We continue our exploration of the relationships between Description Logics and Set Theory, which started with the definition of the description logic ALCΩ. We develop a set-theoretic translation of the description logic ALCΩ in the set …