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
 

New Media Systems is...


Our New Media Systems research theme aims to show how new media devices, standards, architectures and concepts can change the nature of learning.

Our work involves the development of short life-cycle working prototypes of innovative technologies or concepts that we believe will influence the future of open learning within a 3-5 year timescale. Each new media concept is built into a working prototype of how the innovation may change a target community. The working prototypes are all available (in some form) from this website.

Our prototypes themselves are not designed solely for traditional Open Learning, but include a remit to show how that innovation can and will change learning at all levels and in all forms; in education, at work and play.