Franz Baader Martin Buchheit Bernhard Hollunder Cardinality Restrictions on Concepts. 51-62 1994 conf/ki/1994 KI db/conf/ki/ki94.html#BaaderBH94