M. Barinskis and G. Barzdins. Satisfiability model visualization plugin for deep consistency checking of OWL ontologies. Proceedings of the Workshop on OWL: Experiences and Directions (OWLED), 2007. 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.