Detecting Conflicting Class Definitions
In order to understand conflicting definitions and their resolution, you need to understand G2 classes, as described in Chapter 13, Classes and Class Hierarchy, and G2 definitions for extending the class hierarchy, as described in Chapter 14, Definitions. The rest of this chapter assumes that you understand those topics.
When you merge one KB into another, G2 checks that each class definition in the secondary KB is consistent with the primary KB. Two KBs are consistent if every class name that is defined in both KBs means exactly the same thing in each one. Each such pair of definitions is handled as described under Identical Duplicate Definitions.
If a secondary definition has a name that is also used in the primary KB, but has a different definition there, conflicting definitions exist. This section shows you how such conflicts can be resolved.
Copyright © 1997 Gensym Corporation, Inc.