This new version of the modeling tool brings us a big capability: the support for necessary and sufficient conditions of anonymous subclasses. 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.
Related pages