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

Berlin ; Heidelberg ; New York / Springer (2004) [Contribution to a conference proceedings]

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

Authors

Selected Authors

Theißen, Manfred
von Wedel, Lars

Identifier

  • REPORT NUMBER: RWTH-CONV-181818