Page History

This section is dedicated to explaining exactly what the modeling tool imports.

Complex, nested class expressions

Importing or exporting complex, nested class expressions involving unions, intersections, complements, and restrictions no longer results in a loss of fidelity.

Constructs

The Concept Modeler supports importing the following constructs: Class, Datatype, Datatype Property, Object Property, Object Property Chains, Class Generalization, Class Equivalence, Class Disjoint Relation, Annotation Property, Object Property Generalization, Object Property Equivalence, Datatype Property Generalization, Class Restriction, Named Individual, Named Individual Property, and Annotations.

...

OWL Classes that have no superclasses and are equivalent to intersections of Classes will be stereotyped as «Superclass Intersection». More about the stereotype can be found here: Working with superclass intersection.

If you would like to learn about the applications of Superclass Intersections, please peruse Working with intersection and Intersection.

Aristotelian Definitions

...