KAT: KWARC Annotation Tool
Prof. Dr. Michael Kohlhase 
M.Sc. Tom Wiesing
Funded by: 
MathSearch
An Annotation Tool for STEM Documents
Start: June 2013
End: June 2017
Prof. Dr. Michael Kohlhase M.Sc. Tom Wiesing Funded by:
MathSearch KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML. We use it for maths corpus linguistics.