[om] RE: [om-a] New OpenMath 2 draft

[David Carlisle]

Manfred

  Shouldn't that read: 'A symbol encodes four fields of information, a name, a
  Content 
  Dictionary, a CD base (optionally) and a role (optionally)?


I think not, the new Role feature is Content Dictionary information but
it isn't explictly encoded in the symbol. Like the symbol definition,
formal properties etc it is only indirectly accessable by looking up
the content dictionary using the information in the _three_ fields that
are explicit in the object (cd name/base-uri  and symbol name).

However I see that the current text doesn't really say that
either. Currently we say

    <para revisionflag="added">A Symbol encodes three fields of
    information, a <emphasis>name</emphasis>, a <emphasis>Content
    Dictionary</emphasis>, and (optionally) a role.  The name of a symbol
    is a sequence of characters matching the regular expression described
    in <xref linkend="sec_names"/>.  The Content Dictionary is the
    location of the definition of the symbol, consisting of a name (a
    sequence of characters matching the regular expression described in
    <xref linkend="sec_names"/>) and, optionally, a unique prefix called
    a <emphasis>cdbase</emphasis> which is used to
    disambiguate multiple Content Dictionaries of the same name.  The role
    is a restriction on where the symbol may appear in an &OM; object.
    The possible roles are described in <xref linkend="sec_roles"/>.
    </para>


I propose we change that to 


    <para revisionflag="added">A Symbol encodes three fields of
    information, a <emphasis>symbol name</emphasis>, a <emphasis>Content
    Dictionary name</emphasis>, and (optionally) a <emphasis>Content
    Dictionary base URI</emphasis>, The name of a symbol is a sequence
    of characters matching the regular expression described in <xref
    linkend="sec_names"/>.  The Content Dictionary is the location of
    the definition of the symbol, consisting of a name (a sequence of
    characters matching the regular expression described in <xref
    linkend="sec_names"/>) and, optionally, a unique prefix called a
    <emphasis>cdbase</emphasis> which is used to disambiguate multiple
    Content Dictionaries of the same name.  There are other properties
    of the symbol that are not explicit in these fieleds but whose
    values may be obtained by inspecting the Content Dictionary
    specified. these include the symbol definition, formal properties
    and examples and, optionally, a <emphasis>Role</<emphasis> which is
    a restriction on where the symbol may appear in an &OM; object.  The
    possible roles are described in <xref linkend="sec_roles"/>.
    </para>


David


________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems