Ontify
Algebraic partially ordered set or poset which captures the combinatorial properties of a traditional polytope, but not any purely geometric properties such as angles, edge lengths, etc.