An overview of the KL-ONE knowledge representation system - Brachman, RJ; Schmolze, JG (Cogn Science, 1985)