Newer
Older
\begin{figure}
\centering
\begin{subfigure}[]{0.9\textwidth}
\begin{lstlisting}
PREFIX ulo: <https://mathhub.info/ulo#>
SELECT ?predicate (COUNT(?predicate) as ?count)
WHERE {
?s ?predicate ?o .
}
GROUP BY ?predicate
ORDER BY DESC(?count)
\end{lstlisting}
\caption{SPARQL query that returns a list of all
\texttt{predicate}s used in the backing store. We include the
\texttt{ulo} prefix such that the results are printed in a
concise human readable format.}\label{fig:preds-query}
\end{subfigure}
\vspace{0.5cm}
\begin{subfigure}[]{0.9\textwidth}
\large
\begin{tabular*}{\textwidth}{c @{\extracolsep{\fill}} lll}
\toprule
& \texttt{predicate} & \texttt{count} \\ \midrule
1 & \texttt{ulo:uses} & 1160140 \\
2 & \texttt{ulo:declares} & 88862 \\
3 & \texttt{ulo:internal-size} & 82336 \\
4 & \texttt{ulo:derived} & 69017 \\
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
\texttt{count}. The particular results here are from the core
Coq export~\cite{ulocoqspec}.}\label{fig:preds-result}
\end{subfigure}
\caption{Querying the predicates in use in a given data set.}