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.
Related pages
- Intersection subset of Union
- Intersection equivalent to Union
- Intersection subset of a Restriction
- Intersection equivalent to a Restriction
- Intersection disjoint with a Restriction
- Intersection subset of an Intersection
- Intersection equivalent to an Intersection
- Intersection subset of Complement
- Intersection equivalent to Complement
- Intersection disjoint with Complement
- Intersection subclass of Class
- Union subset of Union
- Union equivalent to Union
- Union subset of Restriction
- Union equivalent to Restriction
- Union disjoint with Restriction
- Union subset of Intersection
- Union subset of Complement
- Union equivalent to Complement
- Union has member Complement
- Union disjoint with Complement
- Union subset of Class
- Complement subset of Union
- Complement disjoint with Union
- Complement subset of Restriction
- Complement subset of Intersection
- Complement disjoint with Restriction
- Complement has member Restriction
- Complement equivalent to Restriction
- Complement disjoint with Intersection
- Complement subset of Complement
- Complement equivalent to Complement
- Complement has member Complement
- Complement subset of Class
- Restriction subset of Union
- Restriction disjoint with Union
- Restriction subset of Restriction
- Restriction equivalent Restriction
- Restriction disjoint with Restriction
- Restriction subset of Intersection
- Restriction disjoint with Class
- Restriction subset of Class
- Restriction disjoint with Complement
- Restriction subset of Complement
- Restriction disjoint with Intersection
- Class subset of Union
- Class subset of Restriction
- Class equivalent to Restriction
- Class disjoint with Restriction
- Class subset of Complement
- Class disjoint with Class
- Class disjoint with Complement
- Class disjoint with Intersection
- Class disjoint with Union
- Class equivalent to Class
- Class subset of Class
- Class subset of Intersection
- Complement disjoint with Class
- Complement disjoint with Complement
- Complement equivalent to Class
- Complement has member Class
- Complement has member Intersection
- Complement has member Union
- Intersection disjoint with Class
- Intersection disjoint with Intersection
- Intersection disjoint with Union
- Intersection equivalent to Class
- Intersection has member Class
- Intersection has member Complement
- Intersection has member Intersection
- Intersection has member Restriction
- Intersection has member Union
- Restriction has member Class
- Restriction has member Complement
- Restriction has member Intersection
- Restriction has member Restriction
- Restriction has member Union
- Union disjoint with Class
- Union disjoint with Intersection
- Union disjoint with Union
- Union equivalent to Class
- Union has member Class
- Union has member Intersection
- Union has member Restriction
- Union has member Union