Hybrid inferences in KL-ONE-based knowledge representation systems - Hollunder, Bernhard (1990)