@inproceedings{Barinskis-Barzdins:2007:OWLED, author = "M. Barinskis and G. Barzdins", title = "Satisfiability model visualization plugin for deep consistency checking of OWL ontologies", year = 2007, booktitle = "Proceedings of the Workshop on OWL: Experiences and Directions (OWLED)", url = "http://ceur-ws.org/Vol-258/paper40.pdf" } @inproceedings{Barzdins-Barinskis:2007:DL, author = "G. Barzdins and M. Barinskis", title = "The minimal finite model visualization as an ontology debugging tool", year = 2007, booktitle = "Proceedings of the 20th International Workshop on Description Logics (DL)", url = "http://ceur-ws.org/Vol-250/paper_40.pdf" }