Terminological reasoning and information systems - Nebel, Bernhard; Peltason, Christof (1990)