Proof Theoretical Foundations For Constructive Description Logic