diff --git a/doc/report/applications-preds.tex b/doc/report/applications-preds.tex index dfd4a0f70ba49d1dbe13496847e40638b870d7dd..5d816386cdda3eb2f60308d1fa06e0fd1d441633 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 4ba29f4602cd9c779d32dbe8f3d87798e2fef492..2fa1c7b3e7f8191493964b308b08a9a0be5df84b 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}