TEX-OWL: a Latex-Style Syntax for Authoring OWL 2 Ontologies