Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Content layer
id1527087235
Content column
id1527087261
Content block
id1527087236

This new version of the modeling tool now supports necessary and sufficient conditions of anonymous subclasses.

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. 

Content block
id1527087234

Related pages