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:
We are currently integrating these components to our own SWM, I will try
to outline the successes and open problems involved in this project.
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.
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
Future Internet is...

To succeed the Future Internet will need to address a number of cross-cutting challenges including:
- Scalability in the face of peer-to-peer traffic, decentralisation, and increased openness
- Trust when government, medical, financial, personal data are increasingly trusted to the cloud, and middleware will increasingly use dynamic service selection
- Interoperability of semantic data and metadata, and of services which will be dynamically orchestrated
- Pervasive usability for users of mobile devices, different languages, cultures and physical abilities
- Mobility for users who expect a seamless experience across spaces, devices, and velocities
Future Internet from KMi.
Check out these Hot Future Internet Projects:
List all Future Internet Projects
Check out these Hot Future Internet Technologies:
List all Future Internet Technologies
List all Future Internet Projects
Check out these Hot Future Internet Technologies:
List all Future Internet Technologies



