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.
| Συνημμένο | Μέγεθος |
|---|---|
| Barcelona.pdf | 68.02 KB |

