Skip to content
Snippets Groups Projects
Normal view Permalink
semantization.md 1.22 KiB
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    1 2 
    ---
layout: page
    Tom Wiesing's avatar
    Update titles of research pages (fixes #14)  
    Tom Wiesing committed
    3 4 
    title: Semi-Automated Semantization
menu_title: Semantization
    Tom Wiesing's avatar
    Rework the menu  
    Tom Wiesing committed
    5 
    menu_order: 105
    Michael Kohlhase's avatar
    first skeleton
    Michael Kohlhase committed
    6 
    ---
    Michael Kohlhase's avatar
    more  
    Michael Kohlhase committed
    7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 
    is the process of making the knowledge and structure in informal representations explicit,
so that they can be acted upon by machines.

Currently, 99% of the available mathematical kwnoledge is encoded in informal mathematical
documents: journal articles, books, preprints, handwritten course notes or recordings of
lectures. To make these accessible to
[semantic services and knowledge managment systems](kminteract), we must semanticize them.

The KWARC group engages in multiple projects to help along semantization. In the
[sTeX](/systems/sTeX/) format, we enable authors to semantically prelaop LaTeX documents
so that we can generate [OMDoc](/systems/OMDoc) representation from them (again via
[LaTeXML](http://dlmf.nist.gov/LaTeXML)).

In the [arXMLiv project](/systems/arXMLiv) we transform the
[Cornell ePrint arXiv](http://arxiv.org) into XML with MathML and explicit document
structure via [LaTeXML](http://dlmf.nist.gov/LaTeXML). In the [LLaMaPuN](/systems/lamapun)
project we develop libraries for automatically identifying meaning structures in arXMLiv
documents so that we will eventually be able to harvest OMDoc from the results.