As for relations, adding concept types does not affect the existing ones. The deletion of a concept type can affect not only the type hierarchies and fact graphs, but also the signatures of relations. All references to this type must first be removed from the base.

Removing a link between two concept types does not create inconsistencies in the knowledge base but can decrease the number of answers to a query, adding a link can increase the number of answers, the forbidden types may change and some constraints may become unsatisfied.

All consequences of these alterations are detected by the CoGui controller and error messages help the user to correct inconsistencies.

Created with the Personal Edition of HelpNDoc: Easily create Qt Help files