Theory Graph Visualization and Interaction Front-End
The central data structure of the OMDoc/MMT format and system is that of a theory graph, where nodes are theories and the edges are theory morphisms, (or alignments, see #7). We extensively use this structure in all of our services, but only have very limited means of actually seeing them and interacting with them (we currently generate static SVG presentations via graphviz.
The topic here is to build a client-side (i.e. in-browser) graph interface based on a javascript ligrary for graph layout and interaction (most probably vis.js network. This interface should support
- interactive graph visualization: showing/hiding parts of a graph, highlighting certain features, clustering, ...
- inspection of theories and edges (by clicking on them)
- addition/deletion/update of nodes and edges (e.g. for alignments)
- graph export for didactic purposes.
- ... I am sure more ideas will pop up when we play with this ...