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

report: applications: extend example results

It's nice to have these results as they illustrate
what our database returns.
parent 620e40c0
No related branches found
No related tags found
No related merge requests found
......@@ -27,10 +27,10 @@
2 & \texttt{ulo:declares} & 88862 \\
3 & \texttt{ulo:internal-size} & 82336 \\
4 & \texttt{ulo:derived} & 69017 \\
%5 & \texttt{ulo:statement} & 44638 \\
%6 & ulo:object & 15179 \\
%7 & ulo:primitive & 14459 \\
%8 & ulo:proposition & 10437 \\
5 & \texttt{ulo:statement} & 44638 \\
6 & \texttt{ulo:object} & 15179 \\
7 & \texttt{ulo:primitive} & 14459 \\
8 & \texttt{ulo:proposition} & 10437 \\
$\vdots$ & $\vdots$ & $\vdots$ \\ \bottomrule
\end{tabular*}
\caption{Result of query from Figure~\ref{fig:preds-query}. The database
......
......@@ -40,6 +40,26 @@
often are more important.}\label{fig:q2b}
\end{subfigure}
\begin{subfigure}[]{0.9\textwidth}
\large
\begin{tabular*}{\textwidth}{c @{\extracolsep{\fill}} lll}
\toprule
\hspace{5mm} & \texttt{work} & \texttt{refcount} \\ \midrule
1 & \texttt{https://isabelle.in.tum.de?HOL-Algebra.Group?...} & 17 \\
2 & \texttt{https://isabelle.in.tum.de?HOL-Algebra.Group?...} & 17 \\
3 & \texttt{https://isabelle.in.tum.de?HOL-Algebra.Group?...} & 11 \\
4 & \texttt{https://isabelle.in.tum.de?HOL-Algebra.Ring?...} & 11 \\
5 & \texttt{https://isabelle.in.tum.de?HOL-Algebra.Group?...} & 10 \\
$\vdots$ & $\vdots$ & $\vdots$ \\ \bottomrule
\end{tabular*}
\caption{Result of query from Figure~\ref{fig:q2b}. In this particular case
we asked for all contributions from ``Paulo Emílio de Vilhena'' in the
Isabelle AFP export~\cite{uloisabelle}. Our database Endpoint returns
a listing of \texttt{work}s sorted by their \texttt{refcount}. It would
be the job of a tetrapodal search interface to translate these export-specific
URIs into accessible references into the original source documents.}
\end{subfigure}
\caption{{SPARQL}~queries for answering questions about authorship
and main contributions.}\label{fig:q2full}
\end{figure}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment