From 8a9d81246e465eb4e2bd2cb6aa871077a64d0370 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas.schaertl@fau.de>
Date: Fri, 13 Nov 2020 11:29:21 +0100
Subject: [PATCH] report: final review
---
doc/report/towards.tex | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/doc/report/towards.tex b/doc/report/towards.tex
index 5bdc0c5..4bac368 100644
--- a/doc/report/towards.tex
+++ b/doc/report/towards.tex
@@ -4,15 +4,15 @@
Before finishing up this report with a general conclusion, we want to
first dedicate a section to thoughts on the upper level ontology and
ontology design in general. The contribution of this section is
-primarily that of potential for future work. At this point in time,
-the ideas formulated here lack concrete implementations.
+primarily of of potential for future work. At this point in time, the
+ideas formulated here lack concrete implementations.
\subsection{The Challenge of Universality}
ULO aims to be a universal language for capturing organizational
-mathematical knowledge. An outstandingly grand task. ULO in
-particular aims at nothing less than a universal schema on top of all
-collected (organizational) mathematical knowledge.
+mathematical knowledge. An outstandingly difficult task. ULO is
+aiming at nothing less than a universal schema on top of all collected
+(organizational) mathematical knowledge.
The current version of ULO already yields worthwhile results when
formal libraries are exported to ULO~triplets. Especially when it
@@ -61,7 +61,7 @@ that we can have both, we can have our cake and eat it it too.
Current exports investigated in this report take the approach of
taking some library of formal knowledge and then converting that
library directly into ULO triplets. Perhaps a better approach would be
-to use a \emph{layered architecture} instead. The idea is sketched out
+to use a layered architecture instead. The idea is sketched out
in Figure~\ref{fig:love}. In this layered architecture, we would first
convert a given third party library into triplets defined by an
intermediate ontology. These triplets could then be compiled to
--
GitLab