Franz Baader A Formal Definition for the Expressive Power of Knowledge Representation Languages. 53-58 1990 ECAI db/conf/ecai/ecai90.html#Baader90