LaTeX-proposal/examples/eu/strep/site-fau.tex
2020-08-19 14:57:48 +02:00

60 lines
2.6 KiB
TeX

\begin{sitedescription}{fau}
\paragraph{Organization}
\site{fau} is \ednote{continue}
The KWARC (KnoWledge Adaptation and Reasoning for
Content\footnote{\url{http://kwarc.info}}) Group headed by {\emph{Prof.\ Dr.\ Michael
Kohlhase}} specializes in building knowledge management systems for e-science
applications, in particular for the natural and mathematical sciences. Formal logic,
natural language semantics, and semantic web technology provide the foundations for the
research of the group.
Since doing research and developing systems is much more fun than writing proposals, they
try go do that as efficiently as possible, hence this meta-proposal.
\paragraph{Main tasks}
\begin{itemize}
\item creating {\LaTeX} class files
\end{itemize}
\paragraph{Relevant previous experience}
The KWARC group is the main center and lead implementor of the OMDoc (Open Mathematical
Document) format for representing mathematical knowledge. The group has developed
added-value services powered by such semantically rich representations, different paths to
obtaining them, as well as platforms that integrate both aspects. Services include the
adaptive context-sensitive presentation framework JOMDoc and the semantic search engine
MathWebSearch. For obtaining rich mathematical content, the group has been pursuing the
two alternatives of assisting manual editing (with the sTeXIDE editing environment) and
automatic annotation using natural language processing techniques. The latter is work in
progress but builds on the arXMLiv system, which is currently capable of converting 70\%
out of the 600,000 scientific publications in the arXiv from {\LaTeX} to XHTML+MathML
without errors. Finally, the KWARC group has been developing the Planetary integrated
environment.
\paragraph{Specific expertise}
\begin{itemize}
\item writing intelligent proposals
\end{itemize}
\paragraph{Staff members involved}
\textbf{Prof.\ Dr.\ Michael Kohlhase} is head of the KWARC research group. He is the head
developer of the OMDoc mathematical markup language. He was a member of the Math Working
Group at W3C, which finished its work with the publication of the MathML 3 recommendation.
He is president of the OpenMath society and trustee of the MKM interest group.
\keypubs{KohDavGin:psewads11,Kohlhase:pdpl10,Kohlhase:omdoc1.2,CarlisleEd:MathML10,StaKoh:tlcspx10}
\end{sitedescription}
%%% Local Variables:
%%% mode: LaTeX
%%% TeX-master: "propB"
%%% End:
% LocalWords: site-jacu.tex sitedescription emph textbf keypubs KohDavGin
% LocalWords: psewads11 pdpl10 StaKoh tlcspx10 KohDavGin:psewads11,Kohlhase:pdpl10