Bernhard Nebel Christof Peltason Kai von Luck International Workshop on Terminological Logics - Proceedings IWBS Report 184 1991 IBM Germany Science Center, Institute for Knowledge Based Systems