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. bruce _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
