Skip to content
Snippets Groups Projects
applications-preds.tex 1.79 KiB
Newer Older
  • Learn to ignore specific revisions
  • \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}