menu
KAT: KWARC Annotation Tool
An Annotation Tool for STEM Documents

Start: June 2013



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.