The Minimal Finite Model Visualization as an Ontology Debugging Tool. - Martins Barinskis; Guntis Barzdins (Description Logics, 2007)

Satisfiability Model Visualization Plugin for Deep Consistency Checking of OWL Ontologies. - Martins Barinskis; Guntis Barzdins (OWLED, 2007)