Textual variation, witness collation, document modelling, formal languages such as markup languages, knowledge representation, markup semantics, ontologies, machine learning