A new-ary existential quantifier in description logics

Download PDF

Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen

Published: 01 Jan 2005, Last Modified: 04 Aug 2024Description Logics 2005EveryoneRevisionsBibTeXCC BY-SA 4.0