The planetary system: executable science, technology, engineering and math papers
Authors: 
Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav ZholudevAuthors Info & Claims
Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav ZholudevAuthors Info & ClaimsPages 471 - 475
Abstract
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments they describe. Client-side players can thus enable readers to "check, manipulate and explore the result space" [1]. We have realized executable papers in the STEM domain with the Planetary system. Semantic annotations associate the papers with a content commons holding the background ontology, the annotations are exposed as Linked Data, and a frontend player application hooks modular interactive services into the semantic annotations.
References
[1]
Executable Paper Challenge, http://www.executablepapers.com
[2]
David, C., et al.: eMath 3.0: Building Blocks for a social and semantic Web for online mathematics & ELearning. In: Workshop on Mathematics and ICT (2010), http://kwarc.info/kohlhase/papers/malog10.pdf
[3]
Kohlhase, A., Kohlhase, M., Lange, C.: Dimensions of formality: A case study for MKM in software engineering. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) AISC 2010. LNCS(LNAI), vol. 6167, pp. 355-369. Springer, Heidelberg (2010)
[4]
Lange, C.: Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Submitted to Semantic Web Journal, http://www.semantic-web-journal.net/underreview
[5]
arXMLiv Build System, http://arxivdemo.mathweb.org
[6]
PlanetMath Redux, http://planetmath.mathweb.org
[7]
Kohlhase, M., et al.: Planet GenCS, http://gencs.kwarc.info
[8]
David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V.: Publishing math lecture notes as linked data. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6089, pp. 370-375. Springer, Heidelberg (2010)
[9]
Logic Atlas and Integrator, http://logicatlas.omdoc.org
[10]
Lange, C.: SWiM - A semantic wiki for mathematical knowledge management. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 832-837. Springer, Heidelberg (2008)
[11]
Kohlhase, M.: OMDoc An open markup format for mathematical documents {Version 1.2}. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
[12]
Open Math 2.0. (2004), http://www.openmath.org/standard/om20
[13]
MathML 3.0., http://www.w3.org/TR/MathML3
[14]
Gardner, J., Krowne, A., Xiong, L.: NNexus: Towards an Automatic Linker for a Massively-Distributed Collaborative Corpus. IEEE Transactions on Knowledge and Data Engineering 21.6 (2009)
[15]
Kohlhase, A., Kohlhase, M., Lange, C.: sTeX - A System for Flexible Formalization of Linked Data. In: I-Semantics (2010)
[16]
Lange, C., et al.: Expressing Argumentative Discussions in Social Media Sites. In: Social Data on the Web Workshop at ISWC (2008)
[17]
David, C., Lange, C., Rabe, F.: Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha. In: CALCULEMUS, Emerging Trends (2010)
[18]
Giceva, J., Lange, C., Rabe, F.: Integrating web services into active mathematical documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS(LNAI), vol. 5625, pp. 279-293. Springer, Heidelberg (2009)
[19]
García, A., et al.: Semantic Web and Social Web heading towards Living Documents in the Life Sciences. In: Web Semantics 8.2-3 (2010)
[20]
ActiveMath, http://www.activemath.org
[21]
MathDox Interactive Mathematics, http://www.mathdox.org
Recommendations
Novel mobility system with active suspension for planetary surface exploration
AERO '11: Proceedings of the 2011 IEEE Aerospace ConferenceLunar or planetary exploration missions including landers and rovers have been earnestly under study in Japan. One of the main missions for lunar robotics exploration is to demonstrate the technologies for lunar or planetary surface exploration, which ...
Immersive Environment Technologies for Planetary Exploration
VR '01: Proceedings of the Virtual Reality 2001 Conference (VR'01)Immersive environments are successfully being used to support mission operations at the Jet Propulsion Laboratory. This technology contributed to the Mars Pathfinder Mission in planning sorties for the Sojourner rover. Results and operational ...
Robotic Airships for Exploration of Planetary Bodies with an Atmosphere: Autonomy Challenges
Robotic unmanned aerial vehicles have great potential as surveying and instrument deployment platforms in the exploration of planets and moons with an atmosphere. Among the various types of planetary aerovehicles proposed, lighter-than-atmosphere (LTA) ...
Comments
Information & Contributors
Information
Published In
May 2011
522 pages
ISBN:9783642210631
Sponsors
- Elsevier
- Ontotext
- EETN: Hellenic Artificial Intelligence Society
- Talis: Talis
- IOS Press: IOS Press
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 29 May 2011
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025