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

[Christoph LANGE]

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 

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

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

<FMP>
  <OMOBJ>
    <OMA>
      <OMS cd="owl" name="sameAs"/>
      <OMS cd="transc1" name="sin"/>
      <OMATTR>
        <OMATP>
          <OMS cd="mathmlkeys" name="definitionURL"/>
          <OMSTR>http://dlmf...</OMSTR>
        </OMATP>
        <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 -->
      </OMATTR>
    </OMA>
  </OMOBJ>
</FMP>

?

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.

Cheers,

Christoph

-- 
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