Franz Baader Cyclic, Transitive, and Concrete Extensions of Concept Languages. 12-16 1991 conf/dlog/1991 Description Logics db/conf/dlog/dlog91.html#Baader91