APPROVED Ian Horrocks The complement of a class can be defined using OWL Lite restrictions.