This new version of the modeling tool now supports brings us a big capability: the support for necessary and sufficient conditions of anonymous subclasses.
Image Removed
Necessary and Sufficient condition applied to anonymous subclass
The subsections track a lot of combinations between Intersections, Unions, Restrictions, Complements, and Classes. These subsections are meant to show the different relationships between those four elements and how CCM recognizes them in the exported OWL files. Note that you need to know the meaning of each element: Intersection, Union, Restriction, Complement, and Class, in order to build a cohesive model. If the relationship does not make sense, CCM will notice that and the modeling tool will not export correctly.
