Skip to content
Snippets Groups Projects
Commit edf4577d authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

various tweaks

parent 1f2eb627
Branches
No related tags found
No related merge requests found
......@@ -2,6 +2,7 @@
\def\mathhub{MathHub.info\xspace}
\def\mmt{MMT\xspace}
\def\ommt{OMDoc/MMT\xspace}
\def\imgdir{}
\subsection{Introduction}
We define the Active Documents as semantically annotated documents associated with a
......@@ -13,7 +14,7 @@ see Figure~\ref{fig:activedocs}), since documents can also actively adapt to use
preferences and environment rather than only executing services upon user request. The ADP
is implemented in the Active Documents Portal MathWeb.info~\cite{MathHub:on} building on
standard components as an instance of the Planetary system \cite{Kohlhase:ppte12}; see
Section~\ref{sec:mathub:arch} below.
Section~\ref{sec:mathhub:arch} below.
\begin{figure}[ht]\centering
\input{adp2}
......@@ -154,7 +155,7 @@ frontend, we use the Drupal container management system.\footnote{Drupal and sim
systems self-describe as ``content management systems'', but they actually only manage
the documents and their metadata -- essentially document containers -- without changing
their internal structure.} For the Javascript library we use our JOBAD framework
\cite{GLR:jobad:09,Kohlhase:ppte12}, which embeds semantic services into HTML documents
\cite{GLR:WebSvcActMathDoc09,Kohlhase:ppte12}, which embeds semantic services into HTML documents
and thus makes them interactive and user-adaptive. Even though JOBAD is just a relatively
thin layer of glue code that picks up on semantic annotations in the generated HTML5, its
effect for the users is rather profound: It gives them access to added-value services ``at
......
\section{A Joint Perspective and Generalization of Jupyther and Active
Documents}\label{sec:comparison}
\subsection{Active Documents}
As presented before, the Active Documents call for an Active Document Player, such as the
Planetary system, in order to allow them to be executable, give access to provenance and
copyright/licensing information, and support various forms of validation. We call this
framework the Active Documents Paradigm (ADP), since documents can also actively adapt to
user preferences and environment rather than only executing services upon user request.
We will now highlight the features of the ADP and Jupyther notebooks with a view towards a
possible unification of the systems.
The Presentation Structure presents how Planetary can turn legacy documents into active
documents by transforming them into XHTML+MathML+SVG-encoded documents with semantic
annotations in RDFa.
\subsection{Active Documents}
The Semantic Level shows how the user experience can be improved by extending the depth of
semantic annotations. For this we employ OMDoc (Open Mathematical Documents), an XML-based
content-oriented, semi-formal representation format for scientific and technical
documents.
Active Documents need a Player system (e.g. the Planetary system) that makes them
executable, gives access to provenance and copyright/licensing information, and supports
various forms of validation. Figure~\ref{fig:graph2} shows the situation in analogy to
Figure~\ref{fig:activedocs}: On the left we see an active document as it is seen by the
user: it contains text interspersed with regions that are interactive because they have
been bound to semantic services, which are executed by the player system -- in the middle
-- that interprets the represented content structures -- here depicted by a theory graph
on the right.
\begin{figure}[ht]
\input{ActDocRepresentation}
\caption{Active Documents}\label{fig:graph2}
\end{figure}
Finally, the Formal Level proves we can use Planetary as a frontend system for completely
formal content. It presents how fully formalized formulae can be adapted to user
preferences, such as the level of brackets or the availability of inferred definitions.
\subsection{Jupyther}
......
author.png

41.3 KiB

......@@ -3,6 +3,8 @@
\usepackage[style=alphabetic,backend=bibtex]{biblatex}
\addbibresource{kwarc.bib}
\addbibresource{rest.bib}
% temporary fix due to http://tex.stackexchange.com/questions/311426/bibliography-error-use-of-blxbblverbaddi-doesnt-match-its-definition-ve
\makeatletter\def\blx@maxline{77}\makeatother
\usepackage{tikz}
\usetikzlibrary{positioning}
......
......@@ -62,7 +62,7 @@
\defcounter {refsection}{0}\relax
\contentsline {subsubsection}{\tocsubsubsection {}{4.4.1}{User Interface}}{17}{subsubsection.4.4.1}
\defcounter {refsection}{0}\relax
\contentsline {subsubsection}{\tocsubsubsection {}{4.4.2}{Communication}}{18}{subsubsection.4.4.2}
\contentsline {subsubsection}{\tocsubsubsection {}{4.4.2}{Communication}}{17}{subsubsection.4.4.2}
\defcounter {refsection}{0}\relax
\contentsline {subsection}{\tocsubsection {}{4.5}{Next Steps: Active Computational Documents}}{18}{figure.12}
\defcounter {refsection}{0}\relax
......
%% put the new stuff there
%% Link 1
@online{jupyther-project:on,
label = {Jup},
title = {Project Jupyter},
url = {http://www.jupyter.org}}
%% Link 2
@online{jupyther-doc:on,
label = {JupDoc},
title = {What is Jupyter},
url = {http://jupyter-notebook-beginner-guide.readthedocs.org/en/latest/what_is_jupyter.html}}
%% Link 3
@online{jupyther-notebook:on,
label = {JupNotebook},
title = {Jupyter Notebook},
url = {http://jupyter-notebook.readthedocs.org/en/latest/notebook.html#notebook-documents}}
%% Link 4
@online{jupyther-git:on,
label = {JupGit},
title = {Git Repository Jupyter},
url = {https://github.com/jupyter}}
%% Link 5
@online{ipython:on,
label = {IPh},
title = {IPython},
url = {http://jupyter.cs.brynmawr.edu/hub/dblank/public/Jupyter%20Notebook%20Users%20Manual.ipynb}}
%% Link 6
@online{juplit:on,
label = {JupLit},
title = {Jupyter Notebook Practice},
url = {http://www.svds.com/jupyter-notebook-best-practices-for-data-science}}
%% Link 7
@online{ipython-wikipedia:on,
label = {WikiIPh},
title = {IPython Wikipedia},
......
user.png 0 → 100644
user.png

144 KiB

0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment