[Om] OpenMath on the Semantic Web?

[David Carlisle]

> @David: I think the OpenMath symbols ontology you mentioned is not too
> "semantic" in the sense that was asked for here. 

> I think there's a lot more of "CD structure"
> that could be expressed in terms of semantic web ontologies -

yes no doubt, the point is that really that it makes no sence to say OM
isn't using ontolgies. It isn't using RDF/OWL but that's not the same
thing, That was a first, automatic, attempt to see what could be
extracted into owl, you can no doubt extract more, 

> But the OpenMath symbols ontology hardly does more than giving URIs to
> OpenMath symbols and grouping them by CD -- and thereby giving the
> queries, problems, and services something they can talk about.

yes exactly, that's all it was intended to do in that case, ground teh
symbols in rdf land so the other more monet-specific (math web service) 
ontologies could refer to them.

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. 
________________________________________________________________________