1.Overview Service IntegrationKnowledge RepresentationConclusion & Future Enabling Collaboration on Semiformal Mathematical Knowledgeby Semantic Web Integration Christoph…