Ticket #471 (closed defect: duplicate)
JOMDoc does not set CDBase for OMS in putput
Description
AFAIK, JOMDoc currently does not output CDBases of symbols in the parallel markup. But we will need this in order to enable a more scalable definition lookup (#470). @Michael, Florian, here we may need your help.
In documents that are not generated from OMDoc, but from whatever format that just contains Content MathML or OpenMath? formulae, it is easy: The symbol element (OMS or csymbol) and all of its parents are searched for a @cdbase attribute; the closest one applies. Otherwise the CDBase defaults to http://www.openmath.org/cd.
In OMDoc it is more involved. Explicitly set @cdbase attributes work as above. When no cdbase is set and when we are inside a theory, the URI of the theory that declares a symbol serves as the CDBase. For all symbols we want to use, their theories have to be imported, so on the OMDoc level, we have a way of getting the CDBase.
OMDoc 1.6/MMT will make it even more complex, as symbols can have names like "importname/localname", where importname is the name of an import element that imports a theory, and localname is the local name of the desired symbol within that theory. (Right?)
However, the parallel markup that is output to the XHTML+MathML document should relieve the client from doing complex theory import lookups. Instead, a CDBase should explicitly be added to every symbol. Maybe that output can be normalized, so that, e.g. if all symbols in one formula are from the same CDBase, only one CDBase is declared for the whole formula, as it propagates down to the symbols.
