Mit der Bewilligung des DFG-Projektes haben wir die Möglichkeiten, in den nächsten drei Jahren an den Themen Evolution und Transformation von Graphdatenbanken zu arbeiten, formale Methoden dafür zu entwickeln und in einem Human-in-the-Loop Ansatz umzusetzen.
