Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Mathematical computations for linked data applications with OpenMath

Presented at the 24th OpenMath Workshop, 11 July 2012 at CICM 2012, Bremen, Germany
Mathematische Berechnungen für Linked Data-Anwendungen mit OpenMath
: Wenzel, Ken; Reinhardt, Heiner

Volltext urn:nbn:de:0011-n-2123977 (509 KByte PDF)
MD5 Fingerprint: 9930968afdc4f287655a699d56557b00
Erstellt am: 29.8.2012

2012, 11 S.
OpenMath Workshop <24, 2012, Bremen>
Conferences on Intelligent Computer Mathematics (CICM) <2012, Bremen>
Vortrag, Elektronische Publikation
Fraunhofer IWU ()
mathematics; semantic web; RDF; computation

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.