[om] Re: Bugs in OpenMath standard draft 3

Michael Kohlhase m.kohlhase at iu-bremen.de
Tue Nov 25 20:35:47 CET 2003

I support the suggestion of having FMPs only take (single) OM objects.

    Prof. Dr. Michael Kohlhase,         Office: Research 1, Room 62
    Professor for Computer Science      Campus Ring 12,
    School of Engineering & Sciences    D-28758 Bremen, Germany
    International University Bremen     tel/fax: +49 421 200 3140/3103
    http://www.cs.cmu.edu/~kohlhase     e-mail: 
<m.kohlhase at iu-bremen.de>

David Carlisle wrote:
>   FMP = element FMP { text-or-om }
>   surely a textual FMP is not very formal, I would have thought this shouldb
> Yes I think this is just historical and could change for OM2, that FMPs
> originallly took anything, but for some time I think they have only
> really been used with Openmath. This would be a change from OM1 though
> so not something I could do as an "editorial fix".
>     CDStatus = element {"official" | "experimental" | "private" | "obsolete"}
>    and
>    Role = element {"binder" | "attribution" | "semantic-attribution" |
>   "error" | "default"}
> Excellent suggestion. Of course this possibility of constraining element
> content wasn't available in DTD, but since we've switched to Relax, we
> may as well use its features!
> David
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

More information about the Om mailing list