A new ::::n::::-ary existential quantifier in description logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Franz Baader' in GoogleThis author has not been identified. Look up 'Carsten Lutz' in GoogleThis author has not been identified. Look up 'Eldar Karabaev' in GoogleThis author has not been identified. Look up 'Manfred Theißen' in Google

runs on WebDSL