OMDoc - OMDoc
Tiedostonimen laajennus |
.omdoc
|
---|---|
Internet-mediatyyppi |
application / omdoc + xml |
Kehittäjä | Michael Kohlhase |
Formaatin tyyppi | Merkintäkieli |
Kontti | MathML , OpenMath |
Laajennettu vuodesta | OpenMath |
Vakio | OMDoc 1.2 |
OMDoc (Open Mathematical Documents) on matemaattisten asiakirjojen semanttinen merkintämuoto . Vaikka MathML kattaa vain matemaattiset kaavat ja niihin liittyvä OpenMath- standardi tukee vain kaavoja ja "sisältösanastoja", jotka sisältävät määritelmät kaavoissa käytetyistä symboleista, OMDoc kattaa koko kirjoitetun matematiikan.
Kattavuus
OMDoc sallii matemaattiset lausekkeet kolmella tasolla:
- Objektitaso
- Kaavat, jotka on kirjoitettu Content MathML: ssä ( MathML: n ei-esitettävä osajoukko), OpenMathissa tai matemaattisen logiikan kielillä .
- Lausetaso
- Määritelmät, lauseet, todisteet, esimerkit ja niiden väliset suhteet (esim. "Tämä todiste osoittaa, että lause").
- Teoriataso
- Teoria on joukko asiayhteyteen liittyviä lausuntoja. Teoriat voivat tuoda toisiaan muodostaen siten kaavion . Symbolimääritysten kokoelmina pidetyt OMDoc-teoriat ovat yhteensopivia OpenMath-sisältösanastojen kanssa.
Jokaisella tasolla voidaan käyttää virallista syntaksia ja epävirallista luonnollista kieltä sovelluksesta riippuen.
Semantiikka ja esitys
OMDoc on semanttinen merkintäkieli, jonka avulla voidaan kirjoittaa matematiikkaa käsittelevien tekstien merkitys . Toisin kuin esimerkiksi LaTeX , se ei ole ensisijaisesti esityskeskeinen. OMDoc-asiakirjan ei tarvitse määrittää, miltä sen sisällön pitäisi näyttää. Muuntaminen LaTeX: ksi ja XHTML: ksi (Presentation MathML : llä kaavoille) on kuitenkin mahdollista. Tätä varten kunkin symbolin esitys voidaan määritellä.
Sovellukset
Nykyään OMDocia käytetään seuraavissa asetuksissa:
- Verkko-oppiminen
- Mukautettujen oppikirjojen luominen.
- Tiedonvaihto
- OMDoc-tuonti- ja vientimoduuleja on saatavana monille automatisoiduille lauseen todistajille ja tietokonealgebrajärjestelmille . OMDoc on tarkoitettu matemaattisten verkkopalvelujen väliseen viestintään .
- Asiakirjojen valmistelu
- Matematiikkaa koskevat asiakirjat voidaan valmistaa OMDoc-muodossa ja viedä myöhemmin esityskeskeiseen muotoon, kuten LaTeX tai XHTML + MathML.
Historia
OMDocia on kehittänyt saksalainen matemaatikko ja tietojenkäsittelytieteilijä Michael Kohlhase vuodesta 1998 lähtien. Toistaiseksi on julkaistu seuraavia julkaisuja:
- 1.0 (marraskuu 2000)
- 1.1 (joulukuu 2001)
- 1.2 (heinäkuu 2006)
Tuleva kehitys
OMDoc-pohjaisen "tekniikan ja tieteen semanttisen verkon " infrastruktuurin on tarkoitus luoda . Tätä varten OMDocia laajennetaan koskemaan muita tieteitä kuin matematiikkaa. Ensimmäinen tulos on PhysML , OMDoc-variantti, joka ulottuu kohti fysiikkaa .
Parempaan integrointiin muiden semanttisten verkkosovellusten kanssa on kehitteillä OMDocin OWL- ontologia sekä vientimahdollisuus RDF: ään .
Katso myös
Viitteet
- Michael Kohlhase (2006): Matemaattisten asiakirjojen avoin merkintämuoto (versio 1.2) . Luentotiedot tekoälystä , nro. 4180. Springer Verlag , Heidelberg. ISBN 3-540-37897-9 .