Christoph Lange

• Mathematics is becoming increasingly collaborative, but software does not sufficiently support that: Social Web applications do not currently make mathematical knowledge accessible to automated agents with a deeper understanding of mathematical structures. Such agents exist but focus on individual research tasks, such as authoring, publishing, peer-review, or verification, instead of complex collaboration workflows. This work effectively enables their integration by bridging the document-oriented perspective of mathematical authoring and publishing, and the network perspective of threaded discussions and Web information retrieval. This is achieved by giving existing representations of mathematical and relevant related knowledge about applications, projects and people a common Semantic Web foundation. Service integration is addressed from the two perspectives of enriching published documents by embedding assistive services, and translating between different knowledge representations inside knowledge bases. A usability evaluation of a semantic wiki that coherently integrates knowledge production and consumption services points out the remaining challenges in making such heterogeneously integrated environments support realistic workflows. The results of this thesis will soon also enable collaborative acquisition of new mathematical knowledge, as well as the contribution of existing knowledge collections to the Web of Data.
• Mathematik wird mehr und mehr kollaborativ, aber Software unterstützt das nur unzureichend: Social-Web-Anwendungen machen mathematisches Wissen bisher automatisierten Agenten nicht zugänglich, die ein tieferes Verständnis für mathematische Strukturen haben. Solche Agenten gibt es, aber aber sie beschränken sich auf einzelne Arbeitsaufgaben, wie z.B. Schreiben, Publizieren, Begutachtung oder Verifikation, an Stelle komplexer kollaborativer Arbeitsabläufe. Diese Arbeit ermöglicht es, sie wirklich zu integrieren – durch einen Brückenschlag zwischen der dokumentenorientierten Sicht des mathematischen Schreibens und Publizierens und der netzorientierten Sicht der Diskussions-Threads und des Information Retrievals. Sie erreicht dies, indem sie vorhandene Repräsentationen mathematischen und relevanten verwandten Wissens über Anwendungen, Projekte und Personen auf eine gemeinsame Semantic-Web-Grundlage stellt. Dienst-Integration wird von zwei Seiten betrachtet: Anreicherung publizierter Dokumente durch Einbettung unterstützender Dienste, und Übersetzung zwischen unterschiedlichen Wissensrepräsentationen in Wissensdatenbanken. Eine Evaluation der Gebrauchstauglichkeit eines semantischen Wikis, das Wissensproduktion und -Konsum zusammenhängend integriert, zeigt die verbleibenden Herausforderungen dabei auf, mit solch heterogen integrierten Umgebungen realistische Arbeitsabläufe zu unterstützen. Die Ergebnisse dieser Arbeit werden bald auch kollaborativen Wissenserwerb ermöglichen, sowie den Beitrag vorhandener Wissenssammlungen zum Web of Data.