A decidable constructive description logic