Authoring OWL 2 Ontologies with the TEX-OWL Syntax