A Decidable Constructive Description Logic