Abstract
An increasing amount of scientific knowledge is being contributed to the emerging Web of [Linked] Data, where it is made available in a machine-comprehensible way and interlinked with other related datasets. This already powers distributed query answering engines and intelligent semantic mashups enriching web publications - however, it still largely lacks mathematical functionality. There are e-science datasets - with mathematical model descriptions opaque to machines.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Mathematical Markup Language (MathML) Version 3.0. W3C Recommendation (2010), http://www.w3.org/TR/MathML3
Heath, T., Bizer, C.: Linked Data: Evolving the Web into a Global Data Space. Morgan & Claypool (2011), http://linkeddatabook.com
Krextor – The KWARC RDF Extractor, http://kwarc.info/projects/krextor/ (visited on 12/06/2010)
Lange, C.: Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. submitted January 31, defended March 11. PhD thesis. Jacobs University Bremen (2011), https://svn.kwarc.info/repos/swim/doc/phd/phd.pdf (2011)
Lange, C.: Krextor – An Extensible XML\(\longrightarrow\)RDF Extraction Framework. In: Scripting and Development for the Semantic Web (SFSW). CEUR Workshop Proc., vol. 449 (2009), http://CEUR-WS.org/Vol-449/
Lange, C.: Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Semantic Web Journal (2011), http://www.semantic-web-journal.net/content/new-submission-ontologies-and-languages-representingmathematical-knowledge-semantic-web (accepted)
Lange, C.: Towards OpenMath Content Dictionaries as Linked Data. In: 23rd OpenMath Workshop, arXiv:1006.4057v1 [cs.DL] (2010)
Lange, C., González Palomo, A.: Easily Editing and Browsing Complex OpenMath Markup with SWiM. In: Mathematical User Interfaces Workshop (2008), http://www.activemath.org/workshops/MathUI/08/proceedings/LangeGonzales-OMEdit.html
National Institute of Standards and Technology, ed. Digital Library of Mathematical Functions (May 7, 2010), http://dlmf.nist.gov
OpenMath Society, http://www.openmath.org/standard/omxsl/ (visited on 08/09/2010)
PlanetMath.org – Math for the people, by the people, http://planetmath.org (visited on 01/06/2011)
The Open Math Standard, Version 2.0. Tech. rep. The OpenMath Society (2004), http://www.openmath.org/standard/om20
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lange, C. (2011). Krextor - An Extensible Framework for Contributing Content Math to the Web of Data. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds) Intelligent Computer Mathematics. CICM 2011. Lecture Notes in Computer Science(), vol 6824. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22673-1_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-22673-1_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22672-4
Online ISBN: 978-3-642-22673-1
eBook Packages: Computer ScienceComputer Science (R0)