OMDoc - OMDoc

Öppna matematiska dokument
Filnamnstillägg
.omdoc
Internetmedietyp
applikation / omdoc + xml
Utvecklad av Michael Kohlhase
Typ av format Markup språk
Behållare för MathML , OpenMath
Utökad från OpenMath
Standard OMDoc 1.2

OMDoc (Open Mathematical Documents) är ett semantiskt markeringsformat för matematiska dokument. Medan MathML endast täcker matematiska formler och den relaterade OpenMath- standarden endast stöder formler och "innehållsordböcker" som innehåller definitioner av symbolerna som används i formler, täcker OMDoc hela utbudet av skriftlig matematik.

Rapportering

OMDoc möjliggör matematiska uttryck på tre nivåer:

Objektnivå
Formler, skrivna i Content MathML (den icke-presentationsmängden av MathML), OpenMath eller språk för matematisk logik .
Uttalningsnivå
Definitioner, satser, bevis, exempel och förhållandet mellan dem (t.ex. ”detta bevis bevisar att satsen”).
Teorinivå
En teori är en uppsättning sammanhangsrelaterade uttalanden. Teorier kan importera varandra och därigenom bilda en graf . Sedd som samlingar av symboldefinitioner är OMDoc-teorier kompatibla med OpenMath-innehållsordböcker.

På varje nivå kan formell syntax och informellt naturligt språk användas beroende på applikation.

Semantik och presentation

OMDoc är ett semantiskt markeringsspråk som gör det möjligt att skriva ner innebörden av texter om matematik. Till skillnad från LaTeX är det till exempel inte främst presentationsorienterat. Ett OMDoc-dokument behöver inte specificera hur innehållet ska se ut. En omvandling till LaTeX och XHTML (med Presentation MathML för formlerna) är dock möjlig. För detta ändamål kan presentationen av varje symbol definieras.

Applikationer

Idag används OMDoc i följande inställningar:

E-lärande
Skapande av skräddarsydda läroböcker.
Datautbyte
OMDocs import- och exportmoduler finns för många automatiserade satsproverser och datoralgebrasystem . OMDoc är avsett att användas för kommunikation mellan matematiska webbtjänster .
Dokumentförberedelse
Dokument om matematik kan förberedas i OMDoc och senare exporteras till ett presentationsorienterat format som LaTeX eller XHTML + MathML.

Historia

OMDoc har utvecklats av den tyska matematikern och datavetenskapsmannen Michael Kohlhase sedan 1998. Hittills har följande versioner gjorts:

  • 1.0 (november 2000)
  • 1.1 (december 2001)
  • 1.2 (juli 2006)

Framtida utveckling

Det planeras att skapa infrastrukturen för ett ” semantiskt nät för teknik och vetenskap” baserat på OMDoc. För detta ändamål utvidgas OMDoc till andra vetenskaper än matematik. Det första resultatet är PhysML , en OMDoc-variant som sträcker sig mot fysik .

För en bättre integration med andra semantiska webbapplikationer är en OWL- ontologi av OMDoc under utveckling, liksom en exportanläggning till RDF .

Se även

Referenser

  • Michael Kohlhase (2006): An Open Markup Format for Mathematical Documents (Version 1.2) . Föreläsningsanteckningar i artificiell intelligens , nr. 4180. Springer Verlag , Heidelberg. ISBN   3-540-37897-9 .

externa länkar