2010-07-17 19:41 David Carlisle <[email protected]>: > 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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
