- From: Christoph LANGE <ch.lange@jacobs-university.de>
- Date: Mon, 7 Dec 2009 11:29:26 +0100
- To: "www-math@w3.org" <www-math@w3.org>
- Message-Id: <200912071129.26861.ch.lange@jacobs-university.de>
Dear all,
I spotted some ambiguities and legacies in
http://www.w3.org/TR/MathML3/chapter5.html.
For MathML annotations it is said that the MIME types are
application/mathml-{content,presentation}+xml. However, all examples continue
to use the legacy syntax of MathML 2, such as encoding="MathML-Content".
Then, about the annotation keys, the descriptions of
"alternate-representation" and "contentequiv" overlap. For example, our
JOMDoc renderer (http://jomdoc.omdoc.org) outputs PMML annotated with, mostly,
OpenMath as parallel markup. Now, what annotation key should we use? Citing
myself from a mail to project-jomdoc@jacobs-university.de
(http://lists.jacobs-university.de/mailman/listinfo/project-jomdoc):
> @cd/@name: points to a symbol, usually from the built-in "mathmlkeys" CD,
> that describes the semantic relation of the annotation to the formula it
> annotates. The two predefined values for @name are
> "alternate-representation" and "contentequiv". Now I'm not so sure which
> one to use; the MathML 3 spec is ambiguous here.
>
> "alternate-representation" includes the meaning "to provide an equivalent
> representation in another markup language", "not alter[ing] the meaning of
> the annotated expression". This is certainly the case for our annotations
> of PMML in OpenMath.
>
> "contentequiv" annotations are used "to disambiguate the meaning of a
> presentation MathML expression", for "clarifying its precise meaning".
> This is also what we are doing.
Do you have any recommendations?
Cheers, and thanks,
Christoph
--
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
Received on Monday, 7 December 2009 10:29:35 UTC