Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration