Ontify
Set of points and set of neighborhoods that satisfy axioms relating those points to those neighborhoods.