The Mathematical Semantic Web