[om] OpenMath Schema

Olga Caprotti caprotti at risc.uni-linz.ac.at
Mon Jun 25 10:38:26 CEST 2001

Thank you for the many replies.

J H Davenport wrote:
> On Tue, 19 Jun 2001, Olga Caprotti wrote:
> > Has anyone written an XSD Schema for OpenMath?
> I haven't heard of one: I'm not even sure what XSD is.
> James

Sorry for the confusion I caused with XSD. XSD stands for 
XML Schema Definition, I have seen it used as file extension 
for XML Schema files (so, *.xsd instead of *.xml).

Michael Kohlhase wrote:
> Dear All,
> I have a variant of an OpenMath Schema as a part of the OMDoc schema. I
> think that I could generate one quite easily.
> Olga, if you are interested, I will do that and subbmit it for review.
>      Michael

Michael, yes, I have seen your version - I think it would be good to 
make it available for comments and review.

Thank you
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