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
PDF, BibTeX

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
PDF, BibTeX