[Om3] How should Signature und Notation Dictionaries point to CDs?

[Christoph LANGE]

Dear all,

  I noticed one more inconsistency in the way we currently give additional
information about symbols defined in CDs, namely signature dictionaries and
notation dictionaries point to “their” content dictionaries in different ways.
For signature dictionaries it looks like this (assuming the consensus from the
previous discussions on that topic):

<CDSignatures cdbase="mybase" cd="mycd" type="...">
  <Signature name="symbolname">
    <!-- points to the symbol (mybase, mycd, symbolname) -->
  </Signature>
</CDSignatures>

And now for notation dictionaries:

<notations>
  <notation cdbase="mybase" cd="mycd" name="symbolname">
    <!-- points to the symbol (mybase, mycd, symbolname) -->
  </notation>
</notations>

I think we should settle on one of these ways. (I don't care which one.) What
do you think about that?

Best,

Christoph

-- 
Christoph Lange, DERI Galway/Jacobs Univ. Bremen, http://kwarc.info/clange


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 197 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om3/attachments/20080513/30ec28d7/attachment.pgp