Ronald J. Brachman Francesco M. Donini Enrico Franconi Ian Horrocks Alon Y. Levy Marie-Christine Rousset Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI Description Logics URA-CNRS 410 1997 db/conf/dlog/dlog1997.html