is the Description Logic Complexity Navigator.
is the Graded Modal Logic Complexity Navigator (under construction).
just for fun!
A manual is coming soon, just press "Create" and then "By steps";
also try the Triangular grid, seemingly my invention
(and make dimensions larger to see the miraculous picture appearing).