Ontify
Non-oriented graph in which two nodes are linked if and only if the two parts of a common space and represented by these nodes have a non-empty intersection in that space.