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