[om] Standard .. Ontologies for Math

[Andrew Solomon]

Hmmm. Interesting. As I looked at this, I found myself wondering "why?".
In OpenMath a primary hope is to make communication 
of mathematical objects easier.  The knowledge systems folk probably think 
it's immensely useful to be able to "share ontologies", and perhaps this
website is more useful for that, or equivalent to STS? 

As always, I applied the "semigroup" test. It fails.

Andrew

On Thu, Jun 07, 2001 at 08:38:38AM -0700, Richard Fateman wrote:
> 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.
> 
> http://piano.stanford.edu/concur/examples/html-lib/abstract-algebra/index.html
> 
> RJF
> --
> 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
--
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