The need for an n-ary existential quantifier in description logics

Berlin ; Heidelberg ; New York / Springer (2004) [Beitrag zu einem Tagungsband]

Advances in artificial intelligence : KI 2004 ; 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20 - 24, 2004 ; proceedings / Susanne Biundo ... (ed.)