Marie-Christine Rousset, Pascale Hors. Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 328-334, John Wiley and Sons, Chichester, 1996.
Abstract is missing.