The OMDOC RelaxNG Schema
OMDoc is an XML vocabulary, which basically means that OMDocs must be valid XML (i.e. have a balanced set of element tags).
The set of OMDoc valid documents is determined by the OMDoc Specification. Certain syntactical aspects can be checked by validating documents with the RelaxNG schema provided here.
OMDoc Modules
In OMDoc 1.2 we have modularized the OMDoc specification and also the RelaxNG schema: (the XML schemata are generated from the RelaxNG ones automatically)
| module | provides | component |
|---|---|---|
| MOBJ | Mathematical Objects | omdocmobj.rnc, omdocmobj.rng, omdocmobj.xsd |
| MTXT | Mathematical Vernacular | omdocmtxt.rnc, omdocmtxt.rng, omdocmtxt.xsd |
| DOC | Document structure | omdocdoc.rnc, omdocdoc.rng, omdocdoc.xsd |
| DC | Dublin CoreMetadata | omdocdc.rnc, omdocdc.rng, omdocdc.xsd |
| CC | Creative Commons Rights Management | omdoccc.rnc, omdoccc.rng, omdoccc.xsd |
| RT | Rich Text Structure | omdocrt.rnc, omdocrt.rng, omdocrt.xsd |
| ST | Mathematical Statements | omdocst.rnc, omdocst.rng, omdocst.xsd |
| ADT | Abstract Data Types | omdocadt.rnc, omdocadt.rng, omdocadt.xsd |
| CTH | Complex Theories | omdoccth.rnc, omdoccth.rng, omdoccth.xsd |
| PF | Proofs | omdocpf.rnc, omdocpf.rng, omdocpf.xsd |
| DG | Development Graphs | omdocdg.rnc, omdocdg.rng, omdocdg.xsd |
| PRES | Presentation and Notation Declarations | omdocpres.rnc, omdocpres.rng, omdocpres.xsd |
| EXT | Web Extensions: Applets, external Objects, code fragments, private stuff | omdocext.rnc, omdocext.rng, omdocext.xsd |
| QUIZ | Exercises | omdocquiz.rnc, omdocquiz.rng, omdocquiz.xsd |
OMDoc Drivers
The modules are grouped into various sub-languages
| Language | class of documents | driver | adds Modules | to |
|---|---|---|---|---|
| OMDoc-Basic | The basic functionality | omdoc-basic.rnc | MOBJ, DOC, DC, CC, MTXT, RT | omdocattribs.rnc, omdoc.rnc, openmath2.rnc |
| OMDoc-CD | Content Dictionaries | omdoc-cd.rnc | PRES, ST | OMDoc-Basic |
| OMDoc-MathWeb | Web and Code Infrastructure | omdoc-mathweb.rnc | EXT | OMDoc-CD |
| OMDoc-Education | Course Materials | omdoc-education.rnc | QUIZ | OMDoc-MathWEb |
| OMDoc-Specification | Reusable Theories, Program Speficications | omdoc-spec.rnc | CTH, DG, PF, ADT | OMDoc-CD |
| OMDoc | The full OMDoc Format | omdoc.rnc | CTH, DG, PF, ADT | OMDoc-Education |