A new n-ary existential quantifier in description logics

Berlin [u.a.] / Springer (2005) [Contribution to a book, Contribution to a conference proceedings]

KI 2005: advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005 ; proceedings / Ulrich Furbach (ed.)
Page(s): 18-33

Authors

Authors

Baader, Franz
Karabaev, Eldar
Lutz, Carsten
Theisßn, Manfred

Identifier