[om] Standard .. Ontologies for Math

Richard Fateman fateman at cs.berkeley.edu
Thu Jun 7 17:38:38 CEST 2001

I encountered recently a list of ontologies from
Stanford's Knowledge Systems Lab.
Among others, they include a framework for
Abstract Algebra  that might be of interest
to OM.
I suggest people (James? David?) writing CDs look around at
this site.


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