Carsten Kindermann On Conceptual Indexing in Terminological Systems. 56-59 1991 Description Logics db/conf/dlog/dlog91.html#Kindermann91