Seminars [270]

Forthcoming Events [0]

Past Events [270]
 

News

 
KMi Seminars
A Semantic Web for Mathematics - Logic, Linguistics, and Management
This event took place on Wednesday 19 May 2010 at 11:30

 
Prof. Michael Kohlhase Jacobs University, Germany

This talk gives an overview over recent work on the building a Semantic Web for Mathematics (SWM). We want to realize this envisioned SWM as a flexiformal digital library that contains semantically annotated mathematical documents ranging from from informal (rigorous developments of mathematics in natural language with formulae) to documents expressed in formal logical systems.

We are approaching this SWM from five directions:

  • OMDoc, a modular representation frameworks for integrated
    flexiformal libraries,

  • TNTBase/JOMDoc: a versioned XML-based storage and web application
    framework for OMDoc

  • arXMLiv: automatically annotating semantic features in LaTeX-based
    corpora

  • JOBAD: embedding semantic services into mathematical web documents.

  • using Semantic Web (linked-data) techniques on mathematical corpora.


We are currently integrating these components to our own SWM, I will try
to outline the successes and open problems involved in this project.

 
KMi Seminars
 

Social Software is...


Social Software
Social Software can be thought of as "software which extends, or derives added value from, human social behaviour - message boards, musical taste-sharing, photo-sharing, instant messaging, mailing lists, social networking."

Interacting with other people not only forms the core of human social and psychological experience, but also lies at the centre of what makes the internet such a rich, powerful and exciting collection of knowledge media. We are especially interested in what happens when such interactions take place on a very large scale -- not only because we work regularly with tens of thousands of distance learners at the Open University, but also because it is evident that being part of a crowd in real life possesses a certain 'buzz' of its own, and poses a natural challenge. Different nuances emerge in different user contexts, so we choose to investigate the contexts of work, learning and play to better understand the trade-offs involved in designing effective large-scale social software for multiple purposes.