From e7b9fdccd4cd0795ed1e33e587a05ed629579fc1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 5 Oct 2020 12:25:56 +0200
Subject: [PATCH] report: review abstract

---
 doc/report/abstract.tex | 25 ++++++++++++-------------
 1 file changed, 12 insertions(+), 13 deletions(-)

diff --git a/doc/report/abstract.tex b/doc/report/abstract.tex
index 5623ab1..1c73139 100644
--- a/doc/report/abstract.tex
+++ b/doc/report/abstract.tex
@@ -1,14 +1,13 @@
-Organizational data extracted from formal libraries has the potential
-to be usable in the design of a universal search engine for
-mathematical knowledge. However, it is not enough to just extract
-formal knowledge into a unified format, it is also necessary for this
-information to be available for querying.
+Organizational knowledge extracted from existing formal libraries has
+the potential to be usable in the design of a universal search engine
+for mathematical research. However, it is not enough to merely
+collect and export formal knowledge in a unified format, it is also
+necessary for this information to be available for querying.
 
-\emph{ulo-storage} aims to lay out the groundwork to do just that. In
-this project, we collected various pieces of exported data into a
-centralized and efficient store, made that store available as a an
-endpoint on a local network and then evaluated different ways of
-querying that store. In addition, implementation of some exemplary
-queries on top of the created infrastructure resulted in insight on
-how a unified format for organizational mathematical knowledge could
-be extended.
+\emph{ulo-storage} aims to lay out the groundwork for this task.
+We collected various pieces of exported organizational knowledge into
+a centralized and efficient store, made that store available on the
+network and then evaluated different ways of querying that store. In
+addition, implementations of some exemplary queries on top of our
+created infrastructure resulted in insights on how unified schemas
+for organizational mathematical knowledge could be extended.
-- 
GitLab