Mathematical computations for linked data applications with OpenMath

Linked data can be used to connect information stemming from usually disparate sources. The Semantic Web combines various kinds of logical reasoning for the inference of additional knowledge from existing data and for consistency checking of data sets. Although mathematics is crucial for most areas where Semantic Web technologies can be applied, support for them is lacking from related standards and tools. This paper presents an approach for integrating OpenMath with RDF data for the representation of mathematical relationships and the integration of mathematical computations into reasoning systems.