I've never used Todo graphs, but I've spent hours using Yed, a free (but not Free if you're into that kind of thing) point-and-click graph editor with various l

I've never used Todo graphs, but I've spent hours using Yed, a free (but not Free if you're into that kind of thing) point-and-click graph editor with various layout algorithms. I've found many times that the visual outcome of laying out my concept graphs in say, hierarchical or force-directed layouts. Mainly to show me that I was missing certain links. This is not formal concept analysis (which uses formal lattices), mind you, it's just using the visual realization of graphs as Gestalt. I actually should be doing that a lot more... --- That said, we should always be wary of the "A" in "DAG". That's a deep ontological assumption that restricts the universe we are able to think about. Sometimes, like in the Judea Pearl approach, this enables maths to get done. Sometimes we should just cope with cycles or resolve them at the appropriate time when enough information and wisdom is available.