Enabling collaboration on semiformal mathematical knowledge by semantic web integration - Lange, Christoph (Studies on the Semantic Web, 2011)