OMDoc Design Goals

In a nutshell, the OMDoc format aims to be

1. be Ontologically uncommitted (like the OpenMath format), so that it can serve as a integration format for mathematical software systems.
2. provide a representation format for mathematical documents that combined formal and informal views of all the mathematical knowledge contained in them.
3. be based on sound logic/representational principles (as not to embarrass the author in front of his colleagues from automated reasoning)
4. be based on structural/content markup to guarantee both (1) and (2).