Define classes as intersections, unions and complements

Intersections and unions can be defined using the modified Manchester OWL Syntax. To create a union or intersection:

A complement class can be created in a similar way. Enter in the owl:equivalentClass widget the syntax keyword not followed by the class name.

Alternatively you can also directly use the owl:unionOf, owl:intersectionOf and owl:complementOf properties instead of using owl:equivalentClass. Right-click on the Class Axioms section on the form to get appropriate input fields, and then enter: