Retraction of Object Descriptions in BACK
Carsten Kindermann · 1992
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. Contents 1 Introduction 1 2 Retraction in Terminological Representation Systems 2 3 Processing Retractions of Object Descriptions 6 3.1 Minimal and Maximal Approaches : : : : : : : : : : : : : : : : 6 3.2 A Naive Approach : : : : : : : : : : : : : : : : : : : : : : : : : 7 3.3 A Semi-Naive Approach Based on Object Dependencies : : : : : 8 3.4 Labeled Dependency Links : : : : : : : : : : : : : : : : : :...