International workshop on terminological logics Dagstuhl-Seminar-Report; 12 6.5.-18.5.1991(9119) - Luck von, Kai; Nebel, Bernhard; Peltason, Christof