Ontify
Simple undirected graph in which every pair of distinct vertices is connected by a unique edge.