[Om3] today's OM3

[David Carlisle]

> and a bit about RDF-encoding of CDs.
The monet project OWL encoding of CDs is still online
http://monet/cocoon/monet/publicdocs/ontologies/openmath.owl
although unfortunately the dynamically generated (at manchester) HTML
OWL/RDFs class browser seems to be off air, although no doubt we could reconnect
to whatever that server has changed to...
http://phoebus.cs.man.ac.uk:9999/OWL/Presentation?url=http://monet.nag.co.uk/cocoon/monet/publicdocs/ontologies/openmath.owl

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________