TY - CHAP T1 - The minimal finite model visualization as an ontology debugging tool AU - Barzdins, G. AU - Barinskis, M. TI - Proceedings of the 20th International Workshop on Description Logics (DL) PY - 2007 UR - http://ceur-ws.org/Vol-250/paper_40.pdf ER -