Curve-based diagram specification and construction

摘要

We present a code which captures the topology of closed-curve based diagrams (e.g. Euler diagrams (EDs) are used to visualize set-based relationships, whilst knot diagrams represent knotted structures), often used in visual languages. We briefly indicate how to construct a diagram from such a code. Furthermore, we present an interactive software artefact with a human-centric focus, permitting users the freedom to construct and transform diagrams at either the diagram or the code level, implementing algorithmic procedures developed.