Class Algebra as a Description Logic. - Daniel J. Buehrer; Yi-Huang Liu; Ting-Yue Hong; Jeng-Jong Jou (Description Logics, 1996)