Terminological cycles in KL-ONE-based knowledge representation languages - Baader, Franz 1959- (1990)