Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

introduction.tex 630 Bytes
Newer Older
Michael Banken's avatar
Michael Banken committed
1
\chapter{Introduction}
Michael Banken's avatar
Michael Banken committed
2 3

\section{Motivation}
Michael Banken's avatar
Michael Banken committed
4
Knowledge is complicated and so is its representation.
5 6 7

\begin{figure}[!htb]
\centering
8 9
\includegraphics[width=\textwidth/2]{tgview}
\caption{Picture of the LATIN archive\cite{latin} graph using TGView\cite{rupprecht2017flexible}}
10 11 12
\label{fig:tgview}
\end{figure}

13
Since these theory graphs can be massive in size, it should not be surprising that like any other large project they can be plagued by redundancies and entirely unnecessary dependencies.
Michael Banken's avatar
Michael Banken committed
14

15
To help reduce unnecessary complexity of these theory graphs, I introduce Styler, an automated tool for optimizing theory inclusions.