A new n-ary existential quantifier in description logics

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

Berlin [u.a.] : Springer (2005)
Buchbeitrag, Beitrag zu einem Tagungsband

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

Identifikationsnummern