[Om] How to translate csymbol/@definitionURL [Re: OpenMath 2010]
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" />
... 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