Build an integrated SPARQL index/endpoint for MathHub
We are slowly building up capacities for tetrapodal search in MathHub, i.e. search capacities across mathematical aspects.
For that we need an index for the organizational aspect which can mostly be expressed in terms of RDF graphs and queried via SPARQL. We already have quite a lot of data from our theory graphs and theorem prover libraries; see the ULO paper.
Now we need a dedicated index and query engine for them integrated into MathHub. I am thinking of GraphDB a powerful system that is free in the basic tier. And give it a good test-drive with our data.