Executable Papers Challenge Demo
Planetary has been chosen as a finalist in the Executable Papers Grand Challenge. This page is the entry page for the associated public demo, which is in several parts. Follow the links provided below to read more about each of the demos.
- Note, as the pages contain interactive MathML, the best way to experience our demos is with Firefox. We provide limited cross-browser support via MathJax, but this is not preferred.
- Feel free to consult the Planetary Book, a work-in-progress that explains many of the terms used on this page in depth. Eventually, the current page will be supplanted by a "demo book" that serves as an interactive guide to Planetary's features.
Overview
The Planetary system is a Web 3.0 system for semantically annotated document collections in Science, Technology, Engineering and Mathematics (STEM). It is based on semantically annotated documents, which, together with background ontologies, we call the content commons. This information can be accessed via interactive services for program execution, computation, visualization, navigation, information aggregation and information retrieval. A document player can embed these services in documents, making the documents executable. We call this the Active Documents Paradigm (ADP).
Documents published in the Planetary system become flexible, adaptive interfaces to the domain objects and their contextual interrelationships in the content commons, using an extensible set of client- and server-side services. As the availability of services depends on the level of semantic enhancement, the EPC Demo is based on three different installations of the Planetary System, which show the system functionality at three annotation levels: presentation structure, semantic, and formal.
The Presentation Structure Level: arXiv.org and PlanetMath.org
The importance of the presentation structure level is that Planetary can turn legacy documents into active documents by transforming them into XHTML+MathML+RDFa, with MathML formulae annotated using Content MathML (as far as a semantic structure can be guessed from the presentation structure), and XHTML annotated with RDFa (currently only on the top level of an article).
Demo 1: http://arxivdemo.mathweb.org ~ An Active Interface to http://arxiv.org
Demo 2: http://alpha.planetmath.org ~ A Modernized Prototype Platform for http://planetmath.org
The Semantic Level: Semiformal Digital Libraries
We can considerably improve the user experience by extending the depth of semantic annotations. On this level, we have, in addition to the above-mentioned semantic annotations, MathML formulae annotated using OpenMath, which is obtained from a semantic source, as well as SVG graphics.
Demo 3: http://planetbox.kwarc.info ~ Panta Rhei, a semantic eLearning Platform for Computer Science
The Formal Level: Specification and Verification
Finally, we can use Planetary as a frontend system for completely formal content (web ontologies, program specifications and verifications, and even representations of logics in frameworks like LF). In formal systems, documents are dominated by complex formulae, and users need support in navigating, abstracting, and evaluating them in order to cope with this complexity.
