SWiM -- A Semantic Wiki for Mathematical Knowledge Management

Details SWiM -- A Semantic Wiki for Mathematical Knowledge Management SWiM -- A Semantic Wiki for Mathematical Knowledge Management

2010-03-26

arxiv.org/abs/1003.5196v1

S. Bechhofer, M. Hauswirth, J. Hoffmann, M. Koubarakis. The Semantic Web: Research and Applications. ESWC 2008. LNCS 5021, Spr

Computer Science

Digital Libraries

Scientific paper

10.1007/978-3-540-68234-9_68

SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domain-specific structural semantic markup language OMDoc. It motivates users to contribute to collections of mathematical knowledge by instantly sharing the benefits of knowledge-powered services with them. SWiM is currently being used for authoring content dictionaries, i. e. collections of uniquely identified mathematical symbols, and prepared for managing a large-scale proof formalisation effort.

Affiliated with

Also associated with

No associations

Rating

SWiM -- A Semantic Wiki for Mathematical Knowledge Management does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with SWiM -- A Semantic Wiki for Mathematical Knowledge Management, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and SWiM -- A Semantic Wiki for Mathematical Knowledge Management will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-183065