From b805970586e0c588a8faa2639d746cbe3be88a68 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me> Date: Fri, 29 May 2020 12:01:44 +0200 Subject: [PATCH] doc: add june.txt First draft; will be revised. --- doc/june.txt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 doc/june.txt diff --git a/doc/june.txt b/doc/june.txt new file mode 100644 index 0000000..0fdca39 --- /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; -- GitLab