In Jaseci, we elect to assume the following semantics for the graphs in Jaseci:
- Graphs are directed with a special case of a doubly directed edge type which can be utilized practically as an undirected edge.
- Both nodes and edges have their own distinct identities (i,e. an edge isn’t representable as a pairing of two nodes). This point is important as both nodes and edges can have contexts.
- Multigraphs (i.e., parallel edges) are allowed, including self-loop edges.
- Graphs are not required to be acyclic.
- No hypergraphs, as I wouldn’t want Jaseci programmers heads to explode.