> In general, I have always regarded the parallel development of the > Semantic Web and OpenMath (CDs) as a real pity, because in principal > both communities more or less want the same thing. > Anyway, that's my 10cents.
In the monet project we went some way to trying to align these things, explictly expressing those parts of the CDs that could be expressed in OWL/RDF in those languages. The reviewer Paul cited was I think simply incorrect to state that OpenMath doesn't use Ontologies in teh semweb sence, it's simply that: > Ontology languages directly correspond to (some subset of) first-order > logic with its classical formal semantics. That's something I haven't > seen in OpenMath so far. whereas openmath CDs are not restricted to first order logic, and so you lose something in the translation. but the many parts of teh CDstructure cn be directly expressed as owl. http://monet.nag.co.uk/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. ________________________________________________________________________ _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
