diff --git a/doc/report/abstract.tex b/doc/report/abstract.tex index f6276be2166e262fa02b81cf187ed5e54b9ce3fe..98496d5dd3abe8b663df653b42b9b80b256aed78 100644 --- a/doc/report/abstract.tex +++ b/doc/report/abstract.tex @@ -1 +1,9 @@ -\lipsum[1] +Organizational data extracted from mathematical libraries has the +potential to be usable in the design of a universal search engine for +mathematical knowledge. However, it is not enough to only extract this +data into a unified format, it is also necessary to make this data +easily available. The project \emph{ulo-storage} which this report +documents had the aim of doing just that. Collect various pieces of +exported data sets into a centralized and efficient store, make that +storage engine available as a publicly available endpoint and then +evaluate different ways of querying that store.