[Om3] OMS and OMV contents?

[Michael Kohlhase]

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

Actually, I just realize that this is not (currently) valid MathML, the 
first element of a semantics element is actually the presentation 
MathML. Also I am not sure that we should use semantics here at all, we 
could also use <attribution>
<apply>
   <attribution>
      <csymbol name="presentation" cd="cache"/>
      (: presentation mathml for a red x:)
      <csymbol> ... </csymbol>
  </attribution>
  ....
</apply>

Michael


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