More than that: this is (just) semantic-web applied to the topic of maths. I personally hate semantic-web stuff and don't understand how it can possibly still be a research subject (with university departments dedicated to that). They talk about languages and semantics but keep ignoring the actual recent (i'm talking second-half 20th c.) research in programming language, type systems and formal maths. Some web focused project to "write formal maths with semantics", how more ridiculous can we get? Someone needs to get them to look at theorem provers.
Sorry for the rant, i'm just not gonna write a blog post here.