By Alon Y. Levy and Marie-Christine Rousset. Proceedings of European Conference on Artificial Intelligence, ECAI 96, Budapest, August 1996. We address the key issue in designing such a language, namely, providing a sound and complete inference procedure. By Marie-Christine Rousset and Pascale Hors. Proceedings of European Conference on Artificial Intelligence, ECAI 96, Budapest, August 1996.
Description logics are good candidates for representing complex objects.
Their expressive and computational properties have been extensively studied and are well understood. However, from a knowledge engineering perspective, the current reasoning services provided by description logic systems do not suffice for representing objects. This approach has been proven very useful for a real application of modeling components of power plants. Verification of Knowledge Bases based on Containment Checking By Alon Levy and Marie-Christine Rousset. Proceedings of American Conference on Artificial Intelligence, AAAI 96, Portland, August 1996.