>> (I just made this lengthy recap once more to emphasize that the carrier is >> not semantically relevant for the link to DLMF.)
This should be raising a red flag that the encoding is wrong. 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. David _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
