Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
\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 so 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 & ulo:object & 15179 \\
%7 & ulo:primitive & 14459 \\
%8 & 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 for the kinds of predicates used in a data set}
\end{figure}