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]
@inproceedings{BaaderLKT05,
title = {A new ::::n::::-ary existential quantifier in description logics},
author = {Franz Baader and Carsten Lutz and Eldar Karabaev and Manfred Theißen},
year = {2005},
url = {http://www.ceur-ws.org/Vol-147/01-BaaderEtAl.pdf},
tags = {logic},
researchr = {https://researchr.org/publication/BaaderLKT05},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter},
volume = {147},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}