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
 

Multimedia and Information Systems is...


Multimedia and Information Systems
Our research is centred around the theme of Multimedia Information Retrieval, ie, Video Search Engines, Image Databases, Spoken Document Retrieval, Music Retrieval, Query Languages and Query Mediation.

We focus on content-based information retrieval over a wide range of data spanning form unstructured text and unlabelled images over spoken documents and music to videos. This encompasses the modelling of human perception of relevance and similarity, the learning from user actions and the up-to-date presentation of information. Currently we are building a research version of an integrated multimedia information retrieval system MIR to be used as a research prototype. We aim for a system that understands the user's information need and successfully links it to the appropriate information sources, be it a report or a TV news clip. This work is guided by the vision that an automated knowledge extraction system ultimately empowers people making efficient use of information sources without the burden of filing data into specialised databases.

Visit the MMIS website