diff --git a/doc/slides/slides.tex b/doc/slides/slides.tex index 05478eae26d5e55f6a76ba793f6d3997889de600..dcfe90b4a25b321883569a610e388d50b73b9045 100644 --- a/doc/slides/slides.tex +++ b/doc/slides/slides.tex @@ -173,9 +173,12 @@ representation~$\mathcal{E}$} to \emph{database storage~$\mathcal{D}$}. \item When $\mathcal{E}$ changes, so does~$\mathcal{E}$ when a new export is run. This should result in~$\mathcal{D}$ changing as well. - \item Not trivial! A work around is (1)~re-creating databases from - scratch and (2)~splitting up knowledge into smaller repositories. \end{itemize} + + \begin{alertblock}{Huh!} + Not trivial! A work around is (1)~re-creating databases from + scratch and (2)~splitting up knowledge into smaller repositories. + \end{alertblock} \end{frame} % [Applications & Questions] @@ -208,9 +211,12 @@ with RDF4J that looks at what ULO~predicates are used. \item Both Coq and Isabelle exports used less than a third of all ULO~predicates. Many predicates are used by neither exports. - \item Queries formulated for a tetrapodal search system have to - account for these ``holes'' in existing data sets. \end{itemize} + + \begin{alertblock}{Huh!} + Queries formulated for a tetrapodal search system have to + account for these ``holes'' in existing data sets. + \end{alertblock} \end{frame} \begin{frame}{Exploration: Used Predicates} @@ -279,9 +285,12 @@ \item Algorithms aren't programs! Programs implement algorithms that solve problems. \end{itemize} - \item This illustrates the difficulty in designing an ontology - (schema) that is both expressive and concise. \end{itemize} + + \begin{alertblock}{Huh!} + This illustrates the difficulty in designing an ontology + (schema) that is both expressive and concise. + \end{alertblock} \end{frame} % [Summary]