Ontify
Bipartite graph in which, on each side of the bipartition, the vertices can be ordered by neighborhood inclusion.