Modeling in OWL 2 without Restrictions