Wikis and Collaborative Systems for Large Formal Mathematics

Kaliszyk, Cezary; Urban, Josef

doi:10.1007/978-3-319-32667-2_3

Cited by 1 publication

(1 citation statement)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the context of domain-specific applications, Kaliszyk and Urban [5] provide an overview of collaborative systems for collecting and sharing mathematical knowledge. One of the problems to be solved by these systems is the visualisation of formal proofs for people, while providing assistance with the translation of informal statements into formal mathematics.…”

Section: Semantic Mediawiki Communitiesmentioning

confidence: 99%

Challenges for Semantically Driven Collaborative Spaces

Molli

Breslin

Vidal

2016

Semantic Web Collaborative Spaces

View full text Add to dashboard Cite

Linked Data initiatives have fostered the publication of more than one thousand of datasets in the Linking Open Data (LOD) cloud from a large variety of domains, e.g., Life Sciences, Media, and Government. Albeit large in volume, Linked Data is essentially read-only and most collaborative tasks of cleaning, enriching, and reasoning are not dynamically available. Collaboration between data producers and consumers is essential for overcoming these limitations, and for fostering the evolution of the LOD cloud into a more participative and collaborative data space. In this paper, we describe the role that collaborative infrastructures can play in creating and maintaining Linked Data, and the benefits of exploiting knowledge represented in ontologies as well as the main features of Semantic Web technologies to effectively assess the LOD cloud's evolution. First, the advantages of using ontologies for modelling collaborative spaces are discussed, as well as formalisms for assessing semantic collaboration by sharing annotations from terms in domain ontologies. Then, Semantic MediaWiki communities are described, and illustrated with three applications in the domains of formal mathematics, ontology engineering, and pedagogical content management. Next, the problem of exploiting semantics in collaborative spaces is tackled, and three different approaches are described. Finally, we conclude with an outlook to future directions and problems that remain open in the area of semantically-driven collaborative spaces.

show abstract

Section: Semantic Mediawiki Communitiesmentioning

confidence: 99%