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.