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 -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
Received on Wednesday, 25 August 2010 22:32:47 UTC