Return to Article Details A Formal Ontology for the Text Encoding Initiative