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

Christoph LANGE ch.lange at jacobs-university.de
Sat Jul 17 19:57:05 CEST 2010

2010-07-17 19:41 David Carlisle <davidc at nag.co.uk>:
> You want to associate transc1 sin with dmlf sin.
> You could do that by annotating an individual instance of transc1#sin 
> with the dmlf link, but then you'd probably need to do it on every 
> instance.  Or you have an openmath encoding of the owl sameas assertion 
> and then make a single FMP that says dmlf sin is Om sin, in which case 
> you don't need any definitionurl attributes.

But such an FMP is exactly what I want, and in our previous discussion I
wanted to find out how to write that FMP.  I can't write 

      <OMS cd="owl" name="sameAs"/>
      <OMS cd="transc1" name="sin"/>
      <OMS .../>

because the DLMF URIs don't match the cdbase/cd#name pattern.  That's why I
was eager to learn how to represent the equivalent of csymbol/@definitionURL
in OpenMath.

So what is wrong with

      <OMS cd="owl" name="sameAs"/>
      <OMS cd="transc1" name="sin"/>
          <OMS cd="mathmlkeys" name="definitionURL"/>
        <OMS cd="transc1" name="sin"/> <!-- I still claim that it doesn't
          matter what I put here, but it's probably more intuitive to 
          understand if I put the OMS here -->


To me that FMP reads as:  "The transc1#sin function [defined in this CD] is
the same as the thing that is defined at the URL http://dlmf...", and that is
what I intended to express.



Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20100717/3a3c3e10/attachment.pgp 

More information about the Om mailing list