BCDL: Basic Constructive Description Logic