The planetary system: Web 3.0 & active documents for STEM

Procedia Computer Science

Volumn 4, Issue , 2011, Pages 598-607

  Kohlhase, Michael ^a   Corneli, Joseph ^b   David, Catalin ^a   Ginev, Deyan ^a   Jucovschi, Constantin ^a   Kohlhasea, Andrea ^a   Lange, Christoph ^a   Matican, Bogdan ^a   Mirea, Stefan ^a   Zholudev, Vyacheslav ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

Active documents; Content commons; Executable paper challenge; Ontologies; Semantic annotation

Indexed keywords

ACTIVE DOCUMENTS; CONTENT COMMONS; EXECUTABLE PAPER CHALLENGE; PLANETARY SYSTEM; SEMANTIC ANNOTATION;

SEMANTICS; USER INTERFACES;

ONTOLOGY;

EID: 79958271926     PISSN: None     EISSN: 18770509     Source Type: Conference Proceeding    
DOI: 10.1016/j.procs.2011.04.063     Document Type: Conference Paper

References (43)

1. st International Workshop on Mathematics and ICT: Education, Research and Applications, 2010. URL http://kwarc.info/kohlhase/ papers/malog10.pdf.
2. H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David, B. Miller, Transforming large collections of scientific publications to XML, Mathematics in Computer Science 3 (3) (2010) 299-307. URL http://kwarc.info/kohlhase/papers/ mcs10.pdf.
3. arxmliv build system, http://arxivdemo.mathweb.org, seen Sept. 2010. URL http://arxivdemo.mathweb.org.
4. M. Kohlhase, OMDoc - An open markup format for mathematical documents [Version 1.2], no. 4180 in LNAI, Springer Verlag, 2006. URL http://omdoc.org/ pubs/omdoc1.2.pdf.
5. S. Buswell, O. Caprotti, D. P. Carlisle, M. C. Dewar, M. Gaëtano, M. Kohlhase, The Open Math standard, version 2.0, Tech. rep., The OpenMath Society (2004). URL http://www.openmath.org/standard/om20.
6. R. Ausbrooks, S. Buswell, D. Carlisle, G. Chavchanidze, S. Dalmas, S. Devitt, A. Diaz, S. Dooley, R. Hunter, P. Ion, M. Kohlhase, A. Lazrek, P. Libbrecht, B. Miller, R. Miner, M. Sargent, B. Smith, N. Soiffer, R. Sutor, S. Watt, Mathematical Markup Language (MathML) version 3.0, W3C Proposed Recommendation of 10. August 2010, World Wide Web Consortium (W3C) (2010). URL http://www.w3.org/TR/MathML3.
7. M. Kohlhase, Using LATEX as a semantic markup format, Mathematics in Computer Science 2 (2) (2008) 279-304. URL https://svn.kwarc.info/repos/stex/ doc/mcs08/stex.pdf.
8. V. Zholudev, M. Kohlhase, TNTBase: a versioned storage for XML, in: Proceedings of Balisage: The Markup Conference 2009, Balisage Series on Markup Technologies, Mulberry Technologies, Inc., 2009, available at http://kwarc.info/vzholudev/pubs/balisage.pdf. URL http://kwarc.info/vzholudev/ pubs/balisage.pdf.
9. J. Giceva, C. Lange, F. Rabe, Integrating web services into active mathematical documents, in: Carette et al. [41], pp. 279-293. URL https://svn.omdoc.org/repos/jomdoc/doc/pubs/mkm09/jobad/jobad-server.pdf.
10. C. Müller, Adaptation of Mathematical Documents, Ph.D. thesis, Jacobs University Bremen (2010). URL http://kwarc.info/cmueller/papers/thesis. pdf.
11. M. Schönert, et al., GAP - Groups, Algorithms, and Programming, Lehrstuhl D für Mathematik, Rheinisch Westfälische Technische Hochschule, Aachen, Germany (1995).
12. K. Hammond, P. Horn, A. Konovalov, S. Linton, D. Roozemond, A. A. Zain, P. Trinder, Easy composition of symbolic computation software: A new lingua franca for symbolic computation, in: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC), ACM Press, 2010, pp. 339-346.
13. C. Lange, M. Kohlhase, A mathematical approach to ontology authoring and documentation, in: Carette et al. [41], pp. 389-404. URL http://kwarc.info/ kohlhase/papers/mkm09-omdoc4onto.pdf.
14. C. Lange, Enabling collaboration on semiformal mathematical knowledge by semantic web integration, Ph.D. thesis, Jacobs University Bremen, submitted January 31, 2011 (2011). URL https://svn.kwarc.info/repos/swim/doc/phd/phd.pdf.
15. A. Kohlhase, M. Kohlhase, C. Lange, Dimensions of formality: A case study for MKM in software engineering, in: S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, A. P. Sexton (Eds.), Intelligent Computer Mathematics, no. 6167 in LNAI, Springer Verlag, 2010, pp. 355-369, http://arxiv.org/abs/1004.5071.
16. R. Harper, F. Honsell, G. Plotkin, A framework for defining logics, Journal of the Association for Computing Machinery 40 (1) (1993) 143-184.
17. T. Mossakowski, Hets: the Heterogeneous Tool Set, web page at http://www.informatik.uni-bremen.de/cofi/hets/seen July 2005. URL http://www.informatik.uni-bremen.de/cofi/hets/.
18. th Conference on Automated Deduction, no. 1632 in LNAI, Springer Verlag, 1999, pp. 202-206.
19. C. David, D. Ginev, M. Kohlhase, B. Matican, S. Mirea, A framework for modular semantic publishing with separate compilation and dynamic linking (2011). URL https://svn.mathweb.org/repos/planetary/doc/sepublica11/paper.pdf.
20. PlanetMath Redux.org - math for the people, by the people, http://planetmath.mathweb.org, seen January 2011. URL http://planetmath.mathweb. org.
21. PlanetMath.org - math for the people, by the people, http://www. planetmath.org seen January 2011. URL http://planetmath.org.
22. J. Gardner, A. Krowne, L. Xiong, Nnexus: Towards an automatic linker for a massively-distributed collaborative corpus, IEEE Transactions on Knowledge and Data Engineering 21 (6).
23. A. M. Society, Mathematics Subject Classification MSC2010, http://www.ams.org/mathscinet/msc/(2009).
24. A. Kohlhase, M. Kohlhase, C. Lange, sTeX - a system for flexible formalization of linked data, in: A. Paschke, N. Henze, T. Pellegrini, H. Weigand (Eds.), Proceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web, ACM, 2010. URL http://kwarc.info/kohlhase/papers/isem10.pdf.
25. D. Ginev, C. Jucovschi, S. Anca, M. Grigore, C. David, M. Kohlhase, An architecture for linguistic and semantic analysis on the arXMLiv corpus, in: Applications of Semantic Technologies (AST) Workshop at Informatik 2009, 2009. URL http://www.kwarc.info/projects/lamapun/pubs/AST09-LaMaPUn+appendix.pdf.
26. Executable paper challenge system, http://trac.mathweb.org/planetary/ wiki/EPCSystem. URL http://trac.mathweb.org/planetary/wiki/EPCSystem.
27. M. Kohlhase, I. Şucan, A search engine for mathematical formulae, in: T. Ida, J. Calmet, D.Wang (Eds.), Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2006, no. 4120 in LNAI, Springer Verlag, 2006, pp. 241-253. URL http://kwarc.info/kohlhase/papers/aisc06.pdf. (Pubitemid 44543946)
28. C. Lange, U. Bojārs, T. Groza, J. Breslin, S. Handschuh, Expressing argumentative discussions in social media sites, in: J. Breslin, U. Bojārs, A. Passant, S. Ferńandez (Eds.), Social Data on the Web (SDoW), Workshop at the 7th International Semantic Web Conference, no. 405 in CEUR Workshop Proceedings, Aachen, 2008. URL http://ceur-ws.org/Vol-405/paper4. pdf.
29. A. Kohlhase, M. Kohlhase, Maintaining islands of consistency via versioned links, submitted (2011). URL http://kwarc.info/kohlhase/submit/mkm11- verlinks.pdf.
30. J. Carette, W. Farmer, High-level theories, in: Autexier et al. [42], pp. 232-245. doi:10.1007/978-3-540-85110-3-19.
31. S. Autexier, C. David, D. Dietrich, M. Kohlhase, V. Zholudev, Workflows for the management of change in science, technologies, engineering and mathematics, submitted (2011).
32. E. Hilf, M. Kohlhase, H. Stamerjohanns, Capturing the content of physics: Systems, observables, and experiments, in: J. Borwein, W. M. Farmer (Eds.), Mathematical Knowledge Management (MKM), no. 4108 in LNAI, Springer Verlag, 2006, pp. 165-178. URL http://kwarc.info/kohlhase/papers/mkm06physml.pdf. (Pubitemid 44531726)
33. A. Kohlhase, M. Kohlhase, Compensating the computational bias of spreadsheets with MKM techniques, in: Carette et al. [41], pp. 357-372. URL http//kwarc.info/kohlhase/papers/mkm09-sachs.pdf.
34. A. Kohlhase, M. Kohlhase, Spreadsheet interaction with frames: Exploring a mathematical practice, in: Carette et al. [41], pp. 341-356. URL http://kwarc.info/kohlhase/papers/mkm09-framing.pdf.
35. A. Kohlhase, M. Kohlhase, What we understand is what we get: Assessment in spreadsheets, in: S. Thorne (Ed.), Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010), European Spreadsheet Risk Interest Group, 2010, pp. 111-121. URL http://www.kwarc.info/kohlhase/papers/eusprig10-coverage.pdf.
36. th annual ACM international conference on Design of communication (SIGDOC), ACM Special Interest Group for Design of Communication, ACM Press, New York, NY, USA, 2009, pp. 89-96. doi:10.1145/1621995.1622013. URL http://kwarc.info/kohlhase/papers/sigdoc09- semtrans.pdf.
37. M. Kohlhase, et al., Planet GenCS, web page at http://gencs.kwarc.info, seen January 2011. URL http://gencs.kwarc.info.
38. Logic atlas and integrator, web page at logicatlas.omdoc.org, seen January 2011. URL http://logicatlas.omdoc.org.
39. Planetary developer forum, http://trac.mathweb.org/planetary/. URL http://trac.mathweb.org/planetary/.
40. Planetary sandbox, web page at http://planetbox.kwarc.info, seen January 2011. URL http://planetbox.kwarc.info.
41. J. Carette, L. Dixon, C. Sacerdoti Coen, S. M. Watt (Eds.), MKM/Calculemus Proceedings, no. 5625 in LNAI, Springer Verlag, 2009.
42. S. Autexier, J. Campbell, J. Rubio, V. Sorge, M. Suzuki, F. Wiedijk (Eds.), Intelligent Computer Mathematics, no. 5144 in LNAI, Springer Verlag, 2008.
43. Intelligent Computer Mathematics, submitted.