Kai von Luck Wissenrepräsentation, naive Theorien und sprachverstehende Systeme. 55-69 1992 conf/lilog/1992 Ontologie und Axiomatik der Wissensbasis von LILOG db/conf/lilog/ontologie1992.html#Luck92