From d621945b5760cdfc0148796c5293385bc50dffe6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Thu, 24 Sep 2020 14:28:02 +0200
Subject: [PATCH] report: applications: extend example results
It's nice to have these results as they illustrate
what our database returns.
---
doc/report/applications-preds.tex | 10 +++++-----
doc/report/applications-q3.tex | 20 ++++++++++++++++++++
2 files changed, 25 insertions(+), 5 deletions(-)
diff --git a/doc/report/applications-preds.tex b/doc/report/applications-preds.tex
index dfd4a0f..5d81638 100644
--- a/doc/report/applications-preds.tex
+++ b/doc/report/applications-preds.tex
@@ -27,11 +27,11 @@
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 \\
- $\vdots$ & $\vdots$ & $\vdots$ \\ \bottomrule
+ 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
returns a list of all involved \texttt{predicate}s ordered by their
diff --git a/doc/report/applications-q3.tex b/doc/report/applications-q3.tex
index 4ba29f4..2fa1c7b 100644
--- a/doc/report/applications-q3.tex
+++ b/doc/report/applications-q3.tex
@@ -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}
--
GitLab