[Om] Adding DLMF links to CDs [Re: How to translate csymbol/@definitionURL]

[David Carlisle]

On 17/07/2010 18:57, Christoph LANGE wrote:
> So what is wrong with

well I'd say it's encoding a false assertion, it says

the OM symbol transc1#sin is owl sameas an OM symbol  transc1#sin that 
has been annotated wth the mathml3 definitionurl attribute, pointing at 
dlmf. So it's legal OpenMath but I don't think it means what you want to 
say.


Firstly as I said before if you want to make an owl assertion I;d do it 
in owl, using something equivalent to
http://monet.nag.co.uk/monet/publicdocs/ontologies/openmath.owl
for the openmath (and an rdf rendition of dmlf for the other side, and 
then just use owl syntax.

However if you wanted to make the assrtion in openmath you want to say 
OM sin is same as dmlf sin so something like

  <OMOBJ>
     <OMA>
       <OMS cd="owl" name="sameAs"/>
       <OMS cd="transc1" name="sin"/>
       <OMS cd="dmlf" name="sin"/>
     </OMA>
</OMOBJ>

and separately you want to state that the canonical uri for dmlf sin is 
whatever it is, which could be something like

  <OMOBJ>
     <OMA>
       <OMS cd="omrdf" name="URI"/>
       <OMS cd="dmlf" name="sin"/>
       <OMSTR>http://.... whatever</OMSTR<
     </OMA>
</OMOBJ>


David