Representation and Reasoning -- A New n-Ary Existential Quantifier in Description Logics