Juergen Zimmer: Re: [om] A Proposal for extending OpenMath with XML annotations
Andrew Solomon
andrew at illywhacker.net
Fri Aug 16 17:13:23 CEST 2002
I think there's a problem with OMSTR solution:
What if the "data" you want to put in OMSTR is not MathML
but XML encoded "OMyGod" -
a subtle variant of OM which contains the OMSTR element.
Then it will make life really difficult for the OM-XML parser
which can't then just look for a closing OMSTR, but must
actually parse the content. And what if the data isn't XML at all,
but some bizarre thing where </OMSTR> could appear through sheer bad luck?
a) Can this be solved by a sensible use of namespaces?
<om:OMATTR>
<mml:mrow>
<mml:mo>sin</mml:mo> ⁡ <mml:mn>1</mml:mn>
</mml:mrow>
</om:OMATTR>
b) Alternatively, can OM Objects refer to names of things outside
themselves, but in the same XML document?
Some XML document might contain a preamble
<MyXMLBinding>
<name>
x
</name>
<mathml>
... mathml object here
</mathml>
</MyXMLBinding>
... then the OM object
<om:OMOBJ>
<om:OMATTR>
<om:OMA>
<om:OMS cd="extrefs" name="ref">
<om:OMSTR>x</om:OMSTR>
</om:OMA>
</om:OMATTR>
</om:OMOBJ>
Andrew
On Fri, Aug 16, 2002 at 03:16:22PM +0200, Juergen Zimmer wrote:
>
> Hi all,
>
> > Mmmm, well, I would say it still allows tools to manipulate the
> > XML data only with one level of indirection. The MathML is just
> > data from the OpenMath perspective and that way it keeps the
>
> Exactly! And I would guess that the annotation you mentioned
>
> > <OMSTR> <mrow> <mo>sin</mo> ⁡ <mn>1</mn> </mrow>
>
> would probably be used for renering purposes, i.e. an application wouldn't
> even have to parse the MathML-XML but could simply insert the string in a
> document for a rendering engine (e.g. Mozilla).
>
> I fully support Manfred's idea of using the <OMSTR> element for that
> purpose.
>
> cheers
> Jürgen
>
>
>
>
>
> ------- End of Forwarded Message
>
> --
> om at openmath.org - general discussion on OpenMath
> Post public announcements to om-announce at openmath.org
> Automatic list maintenance software at majordomo at openmath.org
> Mail om-owner at openmath.org for assistance with any problems
--
Faculty of IT, UTS http://www-staff.it.uts.edu.au/~andrews/
Broadway, NSW 2007, Australia phone:+61.2.9514 7938
CRICOS Provider 00099F room:UTS blg 10/4.433
--
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om
mailing list