Authoring OWL2 ontologies with the TeX-OWL syntax