An overview of the KL-ONE knowledge representation system - Brachman, R; Schmolze, J (Cognitive Science, 1985)