Skip to content
Snippets Groups Projects
Commit 6e3250ef authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

slides: fill out context chapter

parent d1851c82
No related branches found
No related tags found
No related merge requests found
TEX_SOURCES = $(wildcard *.tex) TEX_SOURCES = $(wildcard *.tex)
slides.pdf: $(TEX_SOURCES) slides.pdf: $(TEX_SOURCES) references.bib
pdflatex slides.tex pdflatex slides.tex
biber slides
pdflatex slides.tex pdflatex slides.tex
view: slides.pdf view: slides.pdf
......
../report/references.bib
\ No newline at end of file
\documentclass{beamer} \documentclass{beamer}
% set up citations
\usepackage[
backend=biber,
natbib=true,
sorting=none
]{biblatex}
\addbibresource{references.bib}
\setbeamertemplate{bibliography item}{\insertbiblabel}
\begin{document} \begin{document}
% [Title]
\title{ulo-storage} \title{ulo-storage}
\author{Andreas Schärtl} \author{Andreas Schärtl}
...@@ -17,28 +31,83 @@ ...@@ -17,28 +31,83 @@
\begin{frame}{Context} \begin{frame}{Context}
\begin{itemize} \begin{itemize}
\item different kinds of mathematical knowledge \item \emph{Tetrapodal Search} wants to be a unified search for
\item different formats and indicies; combine it for tetrapodal search four distinct areas of mathematical knowledge~\cite{tetra}.
\begin{itemize}
\item Symbolic Knowledge
\item Concrete Knowledge
\item Narrative Knowledge
\item Organizational Knowledge
\end{itemize}
\item Each component should be formated, stored and accessible in a
format optimized for the given kind of knowledge.
\end{itemize} \end{itemize}
\end{frame} \end{frame}
\begin{frame}{Context} \begin{frame}{Context: Focus}
\begin{itemize}
\item For this project, \emph{ulo-storage}, the focus was on
organizational knowledge.
\begin{itemize}
\item Identifiers, references and their relationships.
\item Essentially meta data.
\end{itemize}
\item Previous work introduced the \emph{upper level
ontology}~(ULO) as a way of formulating organizational
mathematical knowledge~\cite{ulo}.
\begin{itemize} \begin{itemize}
\item focus on organizational data \item ULO is an RDF ontology, that is it provides RDF triplets
\item intro for {ULO}; uses triplets for representing mathematical knowledge as a graph.
\item want to make triplets accessible (\emph{ulo-storage}) \item \emph{TODO}: Example of RDF triplet
\end{itemize} \end{itemize}
\end{itemize}
\end{frame}
\begin{frame}{Context: Contribution}
The contribution of \emph{ulo-storage} is twofold.
\vspace{2mm}
\begin{description}
\item[Implementation] We provide infrastructure for automated
imports from existing ULO exports into a queryable database
repository.
\item[Exploration] Built on top of above infrastructure we
implemented various queries and applications.
\end{description}
\vspace{2mm}
While the explorative part is probably the more interesting to talk
about, the implementation probably has more practical use.
\end{frame} \end{frame}
% Implementation % [Implementation]
\section{Implementation} \section{Implementation}
\begin{frame}{Implementation} \begin{frame}{Implementation: Starting Point}
\begin{itemize}
\item We already have exports from third party libraries to ULO
RDF~triplets, in particular from collections of
Coq~\cite{ulocoq} and Isabelle~\cite{uloisabelle} code.
\item RDF triplets are stored as XML~files in Git~repositories.
\end{itemize}
\end{frame}
\begin{frame}{Implementation: Components}
\begin{itemize}
\item \emph{TODO}: Add pretty picture.
\item Involved in the implemtation for \emph{ulo-storage} are the
following components.
\begin{itemize} \begin{itemize}
\item had to be done, but honestly not interesting from a research \item \emph{Collector:} Fetch XML~files from Git~repositories
perspective and apply on the fly filters and modifications.
\item show split up components: collector, importer, endpoint \item \emph{Importer:} Import XML~stream from Collector into a
permanent storage.
\item \emph{Endpoint:} Programming Interface for the permanent
storage. Essentially the database interface.
\end{itemize}
\end{itemize} \end{itemize}
\end{frame} \end{frame}
...@@ -56,7 +125,7 @@ ...@@ -56,7 +125,7 @@
\end{itemize} \end{itemize}
\end{frame} \end{frame}
% Applications & Questions % [Applications & Questions]
\section{Applications and Questions} \section{Applications and Questions}
...@@ -85,5 +154,13 @@ ...@@ -85,5 +154,13 @@
\end{itemize} \end{itemize}
\end{frame} \end{frame}
% [References]
\section{References}
\begin{frame}{References}
\printbibliography{}
\end{frame}
\end{document} \end{document}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment