Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen. A new ::::n::::-ary existential quantifier in description logics. In Ian Horrocks, Ulrike Sattler, Frank Wolter, editors, Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005. Volume 147 of CEUR Workshop Proceedings, CEUR-WS.org, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.