Notation-based Semantification. - Ion Toloaca; Michael Kohlhase (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)