International Workshop on Terminological logics : Schloß Dagstuhl, Germany, May 6 - 8, 1991