Disjointness Axiom

Any two classes or two associations in any schema can be said to be disjoint from each other. Select the related Edit menu item or the contextual menu item, and ICOM will prompt you for two items in succession that will be declare equivalent, either in the same or in different schemas. Figure 11 shows the visual representacion of inter- and intra-schema disjoint axioms.

Figure 11: Inter- and intra-schema disjoint axioms.

It is possible to add a class to an existing inter-schema disjoint axiom using the associated Insert menu item. Disjoint axioms can be removed in the same way as classes and associations, with the function.