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

Bruce Miller bruce.miller at nist.gov
Mon Jul 19 17:33:02 CEST 2010

On 07/18/2010 10:17 AM, Professor James Davenport wrote:
> Therefore the questions are:
> (a) can we say that transc1#sin#FMP1 relates to 4.14.E1?
> (b) should be try to say so in OM syntax in a CD (which probably means no
> other tool will process it), or in RDF/OWL in some associatedfile, or in
> RDF/OWL in some derived file?
> (c) How does OpenMath convert transc1#sin#FMP1 into a DEFINITION
> (d) What will DLMF do to move more towards the Semantic Web and having a
> definitive url 'defining' sin

I am, of course, very interested in this question
and in particular what the consensus of what DLMF
_should_ do to move in this direction.

> (e) [ALL] how can (c) and (d) be synchronised, or at least done compatibly.


More information about the Om mailing list