RE: [MathML4] Multiple Formats for Presentation and Semantics

Math Working Group,
MathML Refresh Community Group,

Multiple Notations

Earlier, Stephen Watt indicated an interest in scenarios with multiple notations. In theory, expression “metadata” could be utilized to describe and interrelate multiple “presentation” annotations, including to describe annotations as having distinct notations. With ontology for describing “presentation” annotations’ notations in “metadata”, one or more JavaScript libraries could be authored to facilitate navigating multiple notations for the same “semantics”, e.g. toggling the display of expressions in documents based on notation.

<math id="eq1">
<presentation>
  <annotation-xml id="eq1-notation1" encoding="MathML-Presentation">...</annotation-xml>
  <annotation-xml id="eq1-notation2" encoding="MathML-Presentation">...</annotation-xml>
  <annotation-xml id="eq1-notation3" encoding="MathML-Presentation">...</annotation-xml>
</presentation>
<semantics>
  <annotation-xml id="eq1-semantics" encoding="MathML-Content">...</annotation-xml>
</semantics>
<metadata>
  <annotation-xml encoding="application/rdf+xml">...</annotation-xml>
</metadata>
</math>

Interrelating Expressions and Mathematical Proofs

Might content which interrelates mathematical expressions, e.g. for mathematical proofs, be expressions’ “metadata” or might it be another variety of content? Can mathematical expression “metadata” facilitate Web-based software applications resembling Lurch Math (http://lurchmath.org/about/)?

Extensibility

Are there any other varieties of content for mathematical expressions to consider beyond “presentation”, “semantics” and “metadata”? Might one want to include “other” for extensibility?

<math id="eq2">
<presentation>
  <annotation-xml id="eq2-presentation-xhtml" encoding="application/xhtml+xml">...</annotation-xml>
  <annotation-xml id="eq2-presentation-svg" encoding="application/svg+xml">...</annotation-xml>
  <annotation id="eq2-presentation-png" encoding="image/png" src="data:..." />
  <annotation-xml id="eq2-presentation-mathmlp" encoding="MathML-Presentation">...</annotation-xml>
</presentation>
<semantics>
  <annotation-xml id="eq2-semantics-openmath" encoding="application/openmath+xml">...</annotation-xml>
  <annotation-xml id="eq2-semantics-mathmlc" encoding="MathML-Content">...</annotation-xml>
</semantics>
<metadata>
  <annotation-xml encoding="application/rdf+xml">...</annotation-xml>
</metadata>
<other rel="http://www.example.com/semantic-uri/">
  <annotation-xml encoding="…">...</annotation-xml>
</other>
</math>


Best regards,
Adam Sobieski