Modeling and Verifying Complex Objects : A Declarative Approach Based on Description Logics
Marie-Christine Rousset, Pascale Hors · 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. Adding services (e.g help for debugging) is necessary to make description logic systems useful tools for building object-centered knowledge bases. In this paper, we present a principled glass-box approach both for trace-based debugging and for supporting transparent modeling of whole-part relationship, using description logics. This approach has been proven very useful for a real application of modeling components of power plants. 1 Introduction Among the numerous existing object-centered formalisms, description logics are good candidates to represent complex objects. They are declarative and they are based on a clear semantics while associated with al...