Balder ten Cate Willem Conradie Maarten Marx Yde Venema Definitorially Complete Description Logics. 79-89 2006 conf/kr/2006 KR db/conf/kr/kr2006.html#CateCMV06