[Om3] OMS and OMV contents?

[Michael Kohlhase]

David, James,

David Carlisle wrote:
>> On Wed, 11 Jul 2007, Michael Kohlhase wrote:
>> one thing we have to think about wrt. OM3/MathML3 alignment is whether
>> we want to allow presentation MathML in the body of OMV and OMS
>> elements. I know we have discussed this before (for OM2) and rejected
>> it, but with the alignment goal this question raises it's ugly head
>> again.
>>     
>
> I think not, and probably not in "canonical mathml" either.
> <apply>
>   <csymbol>
>     (: presentation mathml for a purple f with a green overbar:)
>   </csymbol>
>   <ci>
>     (: presentation mathml for a red x :)
>    </ci>
> </apply>
>   
So if I understand correctly, then you are proposing to make it explicit 
in MathML3 that in canonical MathML3, csymbols elements are empty, and 
that the above "legacy MathML" is equivalent to the canonical MathML3 
below. That would of course make the alignement much simpler, and be 
quite elegant, since this directly maps to an appropriate OMATTR structure.

I also think that this would be a good move for MathML, so we should 
adopt it.
> is (or could be specified as being) equivalent to
>
> <apply>
>   <semantics>
>   <csymbol>some name that's valid as an OM name and is derived as any
>   kind of hash function from the p-mml</csymbol>
>   <annotation-xml>
>     (: presentation mathml for a purple f with a green overbar:)
>   </annotation-xml>
>   </semantics>
>   <semantics>
>   <ci> again some name, to be determined</ci>
>    <annotation-xml>
>    (: presentation mathml for a red x :)
>   </annotation-xml>
>   </semantics>
> </apply>
>
> Thus I think it's sufficient to align on csymbols with text. Of course
> even for text we have the problem that OMS names are XML Name tokens but
> csymol can take arbitrary XML data. <csymbol>2-norm</csymbol> for
> example doesn't translate too naturally to OM2.
>   

> James wrote
>   
>> OMV: Here the question is more subtle - does the presentation create a NEW
>>      OMV, or not.
>>     
> For MathML, it does, that is if you use presentation in a ci in a bvar
> construct it is only supposed to bind ci using the same content
> (presentation and all). But you can still, as above, generate a unique
> name for the bound variable that takes account of the presentation
> but is itself just some flat string.
>
> David
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs. 
> ________________________________________________________________________
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------