diff --git a/doc/june.txt b/doc/june.txt new file mode 100644 index 0000000000000000000000000000000000000000..0fdca397e7f90832a6e111d449736f8c99b92319 --- /dev/null +++ b/doc/june.txt @@ -0,0 +1,19 @@ +- 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;