Full Seminar Details

Prof. Michael Kohlhase

Jacobs University, Germany

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

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.

Watch the webcast replay >>

Jobs

Research Assistant / Associate

Knowledge Media Institute (KMi)
"£29,301 - £38,183"
Based in Milton Keynes
Temporary contract - September 2017 until December 2018

The Knowledge Media Institute (KMi) is looking for a Research Assistant or a Research Associate to work jointly on two EU funded projects. The Hub4NGI project will strengthen and coordinate the work done by ongoing and upcoming projects, focusing...

Research Assistant / Associate

Knowledge Media Institute (KMi)
"£29,301 - £38,183"
Based in Milton Keynes
Temporary 15 months contract, commencing Octoberr 2017

The Knowledge Media Institute (KMi) is looking for a Research Assistant or a Research Associate to work on an EU funded project. The Hub4NGI project will strengthen and coordinate the work done by ongoing and upcoming projects, focusing on Next...

ERDF Project Secretary

Knowledge Media Institute (KMi)
"£21,843 - £24,565"
Based in Milton Keynes
Temporary contrat until 30th June 2019

The Open University’s Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM). The unit seeks an experienced Project Secretary to support the delivery management of...

CONTACT US

Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
MK7 6AA
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team