An OWL 2 Formal Ontology for the Text Encoding Initiative