OpenMath in a Semantic Web

OpenMath started life in 1993 as a standard for communicating mathematical expressions purely between software systems. The world-wide web developed as a means of communicating between human beings, even if many of the `pages' were generated by computers. Initially 'markup' languags described how pages should look, but that developed under the influence of SGML. MathML largely described how mathematics looks (presentation) by also some of what it means (content). The content side is moving to OpenMath, but how should we handle the tension between presentation and meaning, so that human beings can communicate mathematics with each other, software systems can communicate mathematics with each other, and human beings communicate mathematically with (strange) software systems, as is envisaged in a semantic web.

Author(s): 
J.H.Davenport
Publication_details: 
3rd JEM Workshop, 31 Jan.-1 Feb. 2008, Barcelona Spain
Τύπος: 
Extended abstract
ΣυνημμένοΜέγεθος
Barcelona.pdf68.02 KB