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

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

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

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

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

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

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

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

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

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

где заканчиваются классы и начинаются объекты?

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

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

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

Задание

Формулировка

еще раз посмотреть онтологию пиццы. Если непонятны какие-либо аспекты её создания, идти сначала сюда, а потом ко мне.

написать свою онтологию. Если не можете выбрать свою тему, предлагаются следующие:

Онтология функционального анализа (мне заодно помощь) / любой другой дисциплины в университете

Онтология разработки ПО. Или же какого-либо конкретного процесса разработки (например, RUP)

Онтология какой-либо фирмы

Онтология языка программирования.

Сроки

таксономия + disjoints - четверг, 6-е марта

свойства - вторник, 11-е марта

ограничения на классы, несколько объектов - четверг, 13-е марта.