Re: How to use CDBase URIs in Content MathML?

On 25/08/2010 23:32, Christoph LANGE wrote:
> Dear all,
>
>    it's probably too late anyway, but an idea has come to my mind.
>
> Recap: The problem discussed in this thread was how to represent cdbase/cd/name of symbols in a strict Content MathML formula correctly when two symbols are from CDs having the same CD name but different CDBases, e.g. openmath.org's arith1 CD and my custom adaptation of it.  The MathML 3 mechanism of having the whole formula to point to a CD group file that maps CD names to CD URLs/URIs does not work here, at least not without renaming one @cd attribute value in the formula and either
> * providing a server-side redirects from the renamed to the original CD
> * or interpreting OpenMath's specification of CD groups somewhat creatively (trying to phrase this neutrally ;-)
>
> OK, so why not allow @cdgroup on every content markup element?  The lookup could then be specified as follows: start at the csymbol, look into the CD group file linked from the nearest (in terms of XML ancestors) @cdgroup attribute, try to map the given @cd.
> * if there is a mapping, stop.
> * if there is no mapping, go on to the parent element.
>
> What do you think about that?
>
> Cheers,
>
> Christoph
>

we did consider having scoped cdbase or cdgroup attributes but in the 
end the extra complexity this brings wasn't considered worth the 
(small?) gain in functionality. As you say you can effectively use the 
cdgroup mechanism to locally rename any clashing CDs so I don't really 
see this as a problem. I don't understand your comment about this 
requiring server side redirection, the CDGroup file at your server 
should provide absolute URLs to the original CDs.

Any change would now in any case have to be deferred to feature requests 
for MathMl4 (which are still welcome) as at this stage (after the formal 
technical reviews and during the final ballot of W3C AC reps) even 
"editorial" changes to wording to MathML3 are rather hard to make, and 
certainly no changes that require changes in implementation.

David


________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________

Received on Thursday, 26 August 2010 08:51:37 UTC