> @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. ________________________________________________________________________ _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
