Franz Baader A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages. 33-54 1996 6 J. Log. Comput. 1 db/journals/logcom/logcom6.html#Baader96