APPROVED Ian Horrocks A class like owl:Nothing can be defined using OWL Lite restrictions.