Juergen Zimmer: Re: [om] A Proposal for extending OpenMath with XML annotations

[mriem at win.tue.nl]

Hi Andrew,

Actually the XML-parser wouldn't have a hard problem with
It it will generate everything up to the OMSTR using SAX 
events and then it starts generating events it doesn't know, 
but the library could be extended to handle that without
problems. 

The content still needs to be proper XML, so in that sense 
it wouldn't make a big difference, the cutoff point stays
the same. The only thing that would be disallowed would 
Be the following.

<OMSTR><OMSTR>bla bla</OMSTR></OMSTR> as this is just
The same as <OMSTR>bla bla</OMSTR> and for the rest 
anything could be allowed in there.

Grtz,
Manfred.


-------------------------------------------------------------
RIACA - http://www.riaca.win.tue.nl                   HG 9.38
Technische Universiteit Eindhoven                 Postbus 513
mriem at win.tue.nl                            5300 MB Eindhoven
+31-40-2474797                                The Netherlands
-------------------------------------------------------------


> -----Original Message-----
> From: owner-om at openmath.org [mailto:owner-om at openmath.org] On 
> Behalf Of Andrew Solomon
> Sent: Friday, August 16, 2002 5:13 PM
> To: om at openmath.org
> Subject: Re: Juergen Zimmer: Re: [om] A Proposal for 
> extending OpenMath with XML annotations
> 
> 
> 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> &ApplyFunction; <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> &ApplyFunction; <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
> 

--
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