OMDoc - OMDoc
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 .