Онтологии и редактор Protege-owl

Было рассказано

назначение онтологий

Состав онтологии. Создание и редактирование онтологии в Protege:

создание классов. Задание условий (conditions) на значения. Disjoint-классы.

создание объектов(индивидов). Параметризация объекта значениями свойств.

свойство - отношение между двумя объектами. Создание свойств индивидов. Виды свойств - инверсное, функциональное, транзитивное… Задание domain (область определения) и range (область значения) для свойства.

Отображение онтологии в удобочитаемом формате с помощью плагина Jambalaya. Дерево наследования. Карта свойств.

Не было рассказано

ограничения (restrictions). Разница между условиями и ограничениями на класс.

логический вывод. Как онтология достраивает сама себя. Inferred conditions, inferred restrictions, inferred taxonomy.

возможно ли отображение с помощью плагинов OntoViz, OWLViz, Jambalaya онтологии в виде, похожем на семантическую сеть? При этом условия и ограничения на классы должны отображаться стрелочками.

Сollaborative Protege - командное создание онтологии. Что да как.