[learn_more]

See https://Schematix.com

Has a graph query capability which is like a reasoning engine. And beyond that, can run simulations on the models.

Multi user, version control with branch and merge, time shifting, etc.

It's for diagramming whole environments, not just discrete diagrams.

[UltraSane]

This is incredibly cool! I've been using Neo4j to hack something like this together but the UI on this is amazing. I honestly believe that tools like this should be as fundamental to IT as double entry bookkeeping is to accounting and CAD is to engineering and blueprints are to construction.