| 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 |
| 13 | | % JOBAD: SWiM via SPARQL endpoint: forward/backward links, discussion/argumentation, |
| 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 | | |
| 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. |
| 40 | | %\item \ednote{@CL: write some stuff about following RDFa links} |
| 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} |
