OMDoc - OMDoc
| Přípona názvu souboru | .omdoc |
|---|---|
| Typ internetového média | application / omdoc + xml |
| Vyvinul | Michael Kohlhase |
| Typ formátu | Značkovací jazyk |
| Kontejner pro | MathML, OpenMath |
| Rozšířeno z | OpenMath |
| Standard | OMDoc 1.2 |
OMDoc (Otevřené matematické dokumenty) je a sémantický formát označení pro matematický dokumenty. Zatímco MathML zahrnuje pouze matematické vzorce a související OpenMath Standard podporuje pouze vzorce a „slovníky obsahu“ obsahující definice symbolů použitých ve vzorcích, OMDoc pokrývá celou škálu psané matematiky.
Dosah
OMDoc umožňuje matematické výrazy na třech úrovních:
- Úroveň objektu
- Vzorce, napsané v obsahu MathML (neprezentační podmnožina MathML), OpenMath nebo jazyky pro matematická logika.
- Úroveň výpisu
- Definice, věty, důkazy, příklady a vztahy mezi nimi (např. „Tento důkaz dokazuje, že věta“).
- Úroveň teorie
- Teorie je soubor kontextově souvisejících prohlášení. Teorie se mohou navzájem importovat, čímž vytvářejí a graf. Teorie OMDoc, které jsou považovány za sbírky definic symbolů, jsou kompatibilní se slovníky obsahu OpenMath.
Na každé úrovni lze v závislosti na aplikaci použít formální syntaxi a neformální přirozený jazyk.
Sémantika a prezentace
OMDoc je sémantický značkovací jazyk, který umožňuje zapisovat na význam textů o matematice. Na rozdíl od Latex například není primárně zaměřen na prezentaci. Dokument OMDoc nemusí specifikovat, jak by měl vypadat jeho obsah. Konverze na LaTeX a XHTML (s prezentací MathML pro vzorce) je možné. Za tímto účelem lze definovat prezentaci každého symbolu.
Aplikace
Dnes se OMDoc používá v následujících nastaveních:
- E-learning
- Vytváření učebnic na míru.
- Výměna dat
- Pro mnoho jsou k dispozici moduly OMDoc pro import a export automatizované věty provers a systémy počítačové algebry. OMDoc je určen k použití pro komunikaci mezi matematickými webové služby.
- Příprava dokumentu
- Dokumenty o matematice lze připravit v OMDoc a později exportovat do formátu zaměřeného na prezentaci, jako je LaTeX nebo XHTML + MathML.
Dějiny
OMDoc vyvinul německý matematik a počítačový vědec Michael Kohlhase od roku 1998. Zatím existují následující vydání:
- 1.0 (listopad 2000)
- 1.1 (prosinec 2001)
- 1.2 (červenec 2006)
Budoucí vývoj
Plánuje se vytvoření infrastruktury pro „sémantický web pro technologii a vědu “na základě OMDoc. Za tímto účelem se OMDoc rozšiřuje i na jiné než matematické vědy. První výsledek je PhysML, varianta OMDoc rozšířená směrem k fyzika.
Pro lepší integraci s jinými aplikacemi sémantického webu, an SOVA ontologie OMDoc je ve vývoji, stejně jako exportní zařízení do RDF.
Viz také
Reference
- Michael Kohlhase (2006): Otevřený formát označení pro matematické dokumenty (verze 1.2). Poznámky k přednášce v umělé inteligenci, Ne. 4180. Springer Verlag, Heidelberg. ISBN 3-540-37897-9.
