Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

Lange, C.
Pub. date
October 2011
11 of Studies on the Semantic Web
ISBN print
ISBN online
Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science, Semantic Web
€70 / US$102 Excl. VAT
Order Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration ISBN @ €70.00
Order Ebook

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 that have 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 contributions of existing knowledge collections of the Web of Data.