[Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL]
paul at activemath.org
Sun Jul 18 01:13:07 CEST 2010
Le 17-juil.-10 à 23:08, David Carlisle a écrit :
> However if you wanted to make the assrtion in openmath you want to say
> OM sin is same as dmlf sin so something like
> <OMS cd="owl" name="sameAs"/>
> <OMS cd="transc1" name="sin"/>
> <OMS cd="dmlf" name="sin"/>
I think Christoph wants to link *some symbol* to an external place
which probably also describes it. Whether transc1#sin or another is
What you propose above just pushes the problem further: how do you
annotate dlmf#sin to be related to the DLMF's sin?
Isn't it pretty obvious that treating in OpenMath things outside
OpenMath is problematic?
Don't we need some "functors" down here that would "create an OpenMath
something" based on some external description? Here's my 2p, using a
functor external1#dlmf-description which would be interpreted as "a
symbol defined in the text pointed at the named URL with the classical
rigor of DLMF".
<OMA><OMS cd="relation1" name="eq"/>
<OMS cd="transc1" name="sin"/>
<OMS cd="external1" name="dlmf-description"/>
I would tend to feel this as being cleaner.
And I have no preference between relation1#eq and owl#sameAs. I think
the more interesting question is what would be the equivalence of
More information about the Om