The Philosophy Behind MMT
MMT goes back to and builds on OMDoc.
It shares much of the motivation of OMDoc of building a semantics-oriented representation format and ontology language for mathematical knowledge. But MMT goes beyond the original OMDoc language by a strong commitment to rigorously defined semantics and scalable implementations.
More details can be found in the introductory articles.