Martins Barinskis, Guntis Barzdins. Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies. In Christine Golbreich, Aditya Kalyanpur, Bijan Parsia, editors, Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007. Volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
Abstract is missing.