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 that this
information is readily 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 publicly available
endpoint 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.