OMDoc - OMDoc

Avaa matemaattiset asiakirjat
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 .

Ulkoiset linkit