Retraction of Object Descriptions in BACK

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