Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call (for intuitionistic , since is the name of the canonical description logic system) and provide axioms, a Natural Deduction formulation and a sequent calculus for it. The system is related to Simpsonʼs constructive modal logic IK the same way Mendler and Scheeleʼs is related to constructive CK and in the same way classical multimodal K is related to ALC. In the system , as well as in , the classical principles of the excluded middle , double negation and the definitions of the modalities and are no longer validities, but simply non-trivial TBox statements used to axiomatize specific application scenarios. Meanwhile in , like in classical ALC, we have that the distribution of existential roles over disjunction i.e. and (the nullary case) hold, which is not true for . We intend to use for modelling juridical Artificial Intelligence (AI) systems and we describe briefly how.