В этом документе приводятся примеры разделов онтологий, демонстрирующие возможности системы.
Зарегистрированные пользователи, выбрав пункт меню "Создать группу", могут создать свою рабочую группу для формирования своего раздела онтологий.
При создании группы пользователь может выбрать тип доступа пользователей в группу и тип видимости онтологий, созданных в группе.
Пока раздел только создается рекомендуется материалы, созданные в группе, объявить приватными. После создания раздела и его отладки руководитель может опубликовать онтологии раздела для всеобщего использования.
Здесь приводятся следующие примеры разделов онтологий:
В разделе "Простейшие примеры онтологий" демонстрируются возможности ядра системы по созданию классов, подклассов и элементов классов, а также использования одних онтологий в других онтологиях.
В разделе "Примеры таксономий" демонстрируются возможности ядра системы по созданию классов, подклассов и свойств элементов классов.
В разделе "Примеры онтологий задач" демонстрируются простейшие возможности ядра системы по определению внутри онтологии новых конструкций языка, которые могут использоваться в других онтологиях.
В разделе опеделена онтология равномерного движения, которая используется в онтологиях простейших задач на равномерное движение. Онтологии задач строятся с использованием новых языковых конструкций, введенных в онтологии "Равномерное движение". Решение представленных задач производится средствами самой системы.
В разделе "Примеры онтологий с рекурсией" демонстрируются возможности ядра системы по определению новых шаблонов языка системы и описанию функций с рекурсивным вычислением их значений.