# Changeset 706

Show
Ignore:
Timestamp:
03/14/09 00:59:45 (4 years ago)
Message:

integr.sys.

Location:
Files:
2 modified

### Legend:

Unmodified
Removed

r705 r706
1 % \begin{newpart}{OK to have it here, or move to future work?}
2 %   Our research group has been developing two integrated systems: the semantic wiki SWiM,
3 %   which allows for browsing, editing, and discussing mathematical knowledge and is being
4 %   used as a user interface to the official \openmath
5 %   CDs~\cite{lange:swim-demo08,OpenMathWiki:webpage}, and the community-aware reader % panta
6 %   rhei\ednote{@CM: most appropriate reference?\\ note that I'm not saying janta'' % here,
7 %     as this is about the whole panta rhei system, and it's too early to mention the
8 %     upcoming integration of the JOBAD services with janta. --CL}, which is being used as % a
9 %   browser and forum accompanying a first-year computer science % lecture~\cite{Panta:gencs}
10 %   and a computer science precourse~\cite{Panta:cs:precourse}.  The web services that we
11 %   have implemented standalone so far (rendering and definition/type lookup) will be
12 %   integrated into those two environments\ednote{further potential of these backends for
14 %     OpenMath wiki\cite{OpenMathWiki:webpage} (standard symbol defs!); janta: user % models;
15 %     TNTBase, MWS, MMT??}.
16
17 %   \ednote{integration plan: define communication protocol (symbol URI and service verb);
18 %     normal URL retrieves document; other URL syntax invokes service; evolve JOBAD server
19 %     backend into library, integrate with existing backends (to make them implement the
20 %     communication interface'')}
21 % \end{newpart}
22
231We presented \jobad, our architecture for active mathematical documents. Our documents are generated dynamically from content-markup and viewed in a web browser, via which the reader can change interactively both content and form of the document. \jobad constitutes the reader interaction component of our research group's framework for mathematical documents. As such it is fully integrated into the authoring \cite{Kohlhase:sutsmf08,lange:swim-demo08}, notation management~\cite{KMR:NoLMD08}\ednote{left out MoC, as we do not yet have it for OMDoc docs}, and storage~\cite{TNTBase:webpage} work flows developed by our group.\ednote{@CL: Kannst du die Referenzen ergaenzen?}
242

319
3210Future work will be based on this, and we intend to rapidly develop more services. Due to the modularity of our framework, we expect that this work load can be divided into small and manageable units that can be handled efficiently by students. In particular, we intend to approach the following services:
33 \begin{itemize}
34 \item Guided tour (extension of lookup): This service generates a linear tutorial containing an
35   explanation of every symbol in the current selection, and of every symbol occurring in
36   these explanations, and so on, until some foundational theory is reached.
37 \item Flattening: Many documents consist of components that are combined by a module system (see \cite{RabeKohlhase:ExchangeModularKnowledge}).
38 A flattening service replaces import links with the (possibly translated) copy of the imported document.
39 \item Search: Our group has developed a semantic search engine for mathematical   formulae~\cite{KohAncJuc:MWS08}.  Therefore, a service that searches the web (or the   server database) for the selected expression will be easy to realize.
41 \item Editing: Our group has developed the Sentido formula editor. \ednote{@CL: add citation} An edit service will pass the selected term to a Sentido pop up window and eventually replace it in the current document.
42 \item Saving: After a user has adapted a document, it is desirable to upload it to the database.
43 \end{itemize}
11\begin{description}
12\item[Guided tour (extension of lookup):] This service generates a linear tutorial   containing an explanation of every symbol in the current selection, and of every   symbol occurring in these explanations, and so on, until some foundational theory is   reached.
13\item[Flattening:] Many documents consist of components that are combined by a module   system (see \cite{RabeKohlhase:ExchangeModularKnowledge}).  A flattening service   replaces import links with the (possibly translated) copy of the imported document.
14\item[Search:] Our group has developed a semantic search engine for mathematical   formulae~\cite{KohAncJuc:MWS08}.  Therefore, a service that searches the web (or the   server database) for the selected expression will be easy to realize.
15\item[Adaptive display of statement-level structures:] On the level of definitions,   theorems, and proofs, we generate a different kind of parallel markup from \omdoc   sources, namely XHTML+RDFa~\cite{AdidaEtAl08:RDFa}.  We have already used this for   visualizing rhetorical structures in mathematical documents (cf.~\cite{JG:CRAiMDuOaS};   demo available at~\cite{JOBAD:webpage}) and plan to extend it to structured proofs.
16\item[Editing:] Our group has developed the Sentido formula   editor~\cite{LangeGonzalez:SWiM-Sentido08}.  An edit service will pass the selected   term to a Sentido popup window and eventually replace it in the current document.
17\item[Saving:] After a user has adapted a document, it is desirable to upload its configuration to the database.
18\end{description}
4419
45 Furthermore, we will integrate the \jobad architecture into our various stand-alone frontends to documents. \ednote{atCL: add citations}
20Furthermore, we will integrate the \jobad architecture into our various integrated document management systems, such as the semantic wiki SWiM~\cite{LangeGonzalez:SWiM-Sentido08}, and the panta rhei document browser and community tool~\cite{pr-project:web}.
4621
4722%%% Local Variables:

r694 r706
23012301
23022302@TECHREPORT{JG:CRAiMDuOaS,
2303   author = {Jana Giceva},
2303  author = {J. Giceva},
23042304  title = {{Capturing Rhetorical Aspects in Mathematical Documents using OMDoc and SALT}},
23052305  institution = {Jacobs University, DERI Galway},
23062306  year = {2008},
23072307  type = {Technical Report},
2308   url = {https://svn.kwarc.info/repos/supervision/intern/2008/giceva\_jana/project/internship\%20report.pdf}}
2308  note = {\url{https://svn.kwarc.info/repos/supervision/intern/2008/giceva\_jana/project/internship\%20report.pdf}}}
23092309
23102310@Book{OSuSteGoe:rwh08,

62966296  title = {{JSON (JavaScript Object Notation)}},
62976297  note = {\url{http://json.org/}},
6298   month = {seen March},
62996298  year = 2009}
63006299