OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
The Namespace for OpenMath STS documents is:
http://www.openmath.org/OpenMathCDS