[Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010]

David Carlisle davidc at nag.co.uk
Fri Jul 16 14:23:35 CEST 2010

On 16/07/2010 13:01, David Carlisle wrote:
> cd="http://jacobs-university.de/..."  on to
> all the cds before invoking the general algorithm.

sorry got that wrong, I meant

cd="mycd" on the symbol and perhaps cdgroup=.... on the document element,

  but the details are not too important my main point was that the 
algorithm is designed to translate any valid mathml, but if there is 
"private knowledge" that was encoded in a phrasebook (or in your head) 
then to get the best possible translation(avoiding everything ending up 
being a ci annotated with lots of unknown attributions carrying the 
original markup) then you may have to intervene and add some markup or 
equivalently use a modified algorithm that builds in some of this 
private information. You can translate any XML to openmath by 
translating it to

     <OMS cd="universal-translation" name="src" />
      <OMFOREIGN encoding="xml">
      ... the xml you started with ...
   <OMV name="some-made-up-name" />

or the same thing with <ci> and <annotation-xml>, it's just that 
sometimes you can do better...


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. 

More information about the Om mailing list