Gudrun Klose Ewald Lang Thomas Pirlein Die Ontologie und Axiomatik der Wissensbasis von LEU/2 - Erfahrungen, Probleme, Ausblicke IWBS Report 171 1991 IBM Germany Science Center, Institute for Knowledge Based Systems