A visualization of the ALC Tableaux Algorithm for Semantic Web (made for a class at the University of Miami)
To see the visualization, go to http://jackeown.github.io/TableauxVisualization
To see the code, check out the gh-pages branch of this repo.