[Om] Content-dictionary notations draft

[Professor James Davenport]

On Tue, 20 Mar 2007, Paul Libbrecht wrote:
> please find at:
>     http://eds.activemath.org/?q=en/node/81
> a first draft specifying the elements that can describe mathematical  
> notations associated to each symbols.
Le 20 mars 07  17:08, Professor James Davenport a ecrit :
> As Paul knows, I personally believe that they belong ALONGSIDE the CD,
> rather than IN them: see
> http://staff.bath.ac.uk/masjhd/Drafts/Utility.pdf
To which Paul replied:
> actually I missed the fact that it's to be aside... do you care to  
> elaborate why ? Or better... why only ??
And David said
> for OM I think it should be in a separate file cf the sts files, for the
> same reason, to maintain the distance between the semantic/content
> nature of the CD and any possible rendering. However in the parallel
To which Paul said
> I realize that a link from the ocd file, that could be URL-pointed-to  
> thanks to the cdbase attribute, to one of these files would then be  
> also be needed.

No - I think David and I are in agreement here. The idea is NOT to have a 
link, otherwise the same Cd can't have two links, and we end up with 
different CDs [there's a MathML issue which I shall return to] and need 
reasoning.

The idea of mine (and I think David's) is that the link is IMPLICIT, like 
STS. So that if your application "finds on the street"
<OMS cd="nums1" name="i"/>
it then looks up the symbol "i" in nums1.o2p (or whatever extension we 
pick) and finds the corresponding rule. Where it finds this file, depends 
on the host system's configuration, so an EE department would have a 
differnt default from a CS department.

David also wrote
> discussion about a CD-like notation for mathml, it makes sense for it to
> be in the same file, as MathML has an immediate relationship with the
> presentation form, and historically (unlike openmath) every content
> mathml expression has a default presentation.  If we want (at some point
Then MathML CD = (OpenMath CD) + (MathML c->P rules)

James