G. Barzdins and M. Barinskis. The minimal finite model visualization as an ontology debugging tool. Proceedings of the 20th International Workshop on Description Logics (DL), 2007.