Логические модели: как визуализировать знания