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
 

Knowledge Management is...


Knowledge Management
Creating learning organisations hinges on managing knowledge at many levels. Knowledge can be provided by individuals or it can be created as a collective effort of a group working together towards a common goal, it can be situated as "war stories" or it can be generalised as guidelines, it can be described informally as comments in a natural language, pictures and technical drawings or it can be formalised as mathematical formulae and rules, it can be expressed explicitly or it can be tacit, embedded in the work product. The recipient of knowledge - the learner - can be an individual or a work group, professionals, university students, schoolchildren or informal communities of interest.
Our aim is to capture, analyse and organise knowledge, regardless of its origin and form and make it available to the learner when needed presented with the necessary context and in a form supporting the learning processes.