APPROVED Ian Horrocks The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.