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

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

назначение онтологий
Состав онтологии. Создание и редактирование онтологии в Protege:
- создание классов. Задание условий (conditions) на значения. Disjoint-классы.
- создание объектов(индивидов). Параметризация объекта значениями свойств.
- свойство - отношение между двумя объектами. Создание свойств индивидов. Виды свойств - инверсное, функциональное, транзитивное… Задание domain (область определения) и range (область значения) для свойства.
Отображение онтологии в удобочитаемом формате с помощью плагина Jambalaya. Дерево наследования. Карта свойств.

ограничения (restrictions). Разница между условиями и ограничениями на класс.</del>
~~где заканчиваются классы и начинаются объекты?~~
логический вывод. Как онтология достраивает сама себя. Inferred conditions, inferred restrictions, inferred taxonomy.
возможно ли отображение с помощью плагинов OntoViz, OWLViz, Jambalaya онтологии в виде, похожем на семантическую сеть? При этом условия и ограничения на классы должны отображаться стрелочками.
Сollaborative Protege - командное создание онтологии. Что да как.

еще раз посмотреть онтологию пиццы. Если непонятны какие-либо аспекты её создания, идти сначала сюда, а потом ко мне.
написать свою онтологию. Если не можете выбрать свою тему, предлагаются следующие:
- Онтология функционального анализа (мне заодно помощь) / любой другой дисциплины в университете
- Онтология разработки ПО. Или же какого-либо конкретного процесса разработки (например, RUP)
- Онтология какой-либо фирмы
- Онтология языка программирования.