OMDoc - OMDoc

Nyissa meg a matematikai dokumentumokat
Fájlnévkiterjesztés
.omdoc
Internet média típusa
application / omdoc + xml
Által kifejlesztett Michael Kohlhase
A formátum típusa Jelölőnyelv
Konténer MathML , OpenMath
-Tól meghosszabbítva OpenMath
Alapértelmezett OMDoc 1.2

Az OMDoc (Open Mathematical Documents) a matematikai dokumentumok szemantikai jelölési formátuma . Míg a MathML csak a matematikai képleteket fedi le, és a kapcsolódó OpenMath szabvány csak a képleteket és a tartalmi szótárakat támogatja, amelyek tartalmazzák a képletekben használt szimbólumok meghatározását, az OMDoc az írott matematika teljes körét lefedi.

Lefedettség

Az OMDoc három szinten teszi lehetővé a matematikai kifejezéseket:

Objektumszint
Képletek, tartalmi MathML-ben (a MathML nem bemutató részhalmaza), OpenMath-ben vagy a matematikai logika nyelvén írva .
Nyilatkozati szint
Definíciók, tételek, bizonyítások, példák és a közöttük fennálló kapcsolatok (pl. „Ez a bizonyíték azt bizonyítja, hogy a tétel”).
Elméleti szint
Az elmélet a kontextus szerint összefüggő állítások összessége. Az elméletek importálhatják egymást, ezáltal grafikont alkothatnak . A szimbólumdefiníciók gyűjteményének tekintve az OMDoc elméletek kompatibilisek az OpenMath tartalmi szótárakkal.

Minden szinten formális szintaxist és informális természetes nyelvet lehet használni, az alkalmazástól függően.

Szemantika és prezentáció

Az OMDoc egy olyan szemantikus jelölő nyelv, amely lehetővé teszi a matematikáról szóló szövegek jelentésének leírását . A LaTeX-szel ellentétben például nem elsősorban prezentáció-orientált. Az OMDoc dokumentumnak nem kell meghatároznia, hogy milyen legyen a tartalma. A LaTeX és XHTML formátumra konvertálás ( a képletekhez pedig Presentation MathML ) lehetséges. Ennek érdekében meghatározható az egyes szimbólumok bemutatása.

Alkalmazások

Ma az OMDoc-ot a következő beállításokban használják:

E-tanulás
Testreszabott tankönyvek készítése.
Adatcsere
Az OMDoc importálási és exportálási modulok számos automatizált tétel-bizonyító és számítógépes algebrai rendszer számára elérhetőek . Az OMDoc-ot matematikai webszolgáltatások közötti kommunikációra tervezték .
Dokumentumok előkészítése
A matematikáról szóló dokumentumok elkészíthetők OMDoc formátumban, és később exportálhatók olyan prezentáció-orientált formátumba, mint a LaTeX vagy az XHTML + MathML.

Történelem

Az OMDoc-ot Michael Kohlhase német matematikus és informatikus fejlesztette 1998 óta. Eddig a következő kiadások jelentek meg:

  • 1.0 (2000. november)
  • 1.1 (2001. december)
  • 1.2 (2006. július)

Jövőbeli fejlemények

A tervek szerint az OMDoc alapján létrehozzák a „ szemantikus web a technológia és a tudomány számára” infrastruktúráját. Ennek érdekében az OMDoc-ot kiterjesztik a matematikán kívüli egyéb tudományokra is. Az első eredmény a PhysML , egy OMDoc variáns, a fizika felé terjesztve .

A többi szemantikus webes alkalmazással való jobb integráció érdekében fejlesztés alatt áll az OMDoc OWL- ontológiája, valamint exportálási lehetőség RDF-be .

Lásd még

Hivatkozások

  • Michael Kohlhase (2006): A matematikai dokumentumok nyílt jelölési formátuma (1.2 verzió) . Előadási jegyzetek a mesterséges intelligenciában , sz. 4180. Springer Verlag , Heidelberg. ISBN   3-540-37897-9 .

Külső linkek