report: review abstract

doc/report/abstract.tex

-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.