International Workshop on Terminological Logics 6. 5. - 18. 5. 1991 (9119) (1991)