- MMT Relational; ersetzen durch einen Tripplestore; Backending;
  man ersetzt MMT

    -> MMT hat dynamischere Anfragen

- ULO Server bauen; Endpunkt für Beispielqueries; 

  -> Wenzel, Claudio  mal fragen, was sie eigentlich so wollen

  -> PVS-Exporter und auch weitere Exporter wären cool

- Frontend: Sprache wird kompiliert in einen SPARQL-Ausdrcuk;
  wird beantwortet; will schönes Frontend; DSL für ULO

- MathHub, MathDataHub; dafür ggf. auch ein Frontend; eigentlich ein
  Frontend von alles für alles :-)

- Query Combiner von Tetrapodal Search vielleicht; das eher
  als Challenge;