The description logic handbook
| Hi-index | 0.00 |
Terminological representation systems permit the construction of knowledge bases and schemata around the notion of concepts, roles, and instantiating objects. Inferential services they provide include checking for inconsistencies in and classification of concept and object descriptions. To improve their performance, several systems store derived propositions together with user-told data in the knowledge base. In this report we address the problem of retraction of object descriptions for systems that employ such a generative implementation. We adopt a data dependency network approach.