Онтология доменов. 
Программная инженерия. 
Парадигмы, технологии и case-средства

Термин онтология, как метафизический, возник еще в 1613 г. В Computer Science под онтологией понимается спецификация концептуальных знаний о некоторой предметной области, т. е. представляет описание множества объектов и связей между ними. Формально онтология содержит понятия, организованные в таксономию их описаний и правил вывода. Концептуальная модель онтологии О =, где X — конечное множество понятий предметной области или домену; R — конечное множество отношений между понятиями; F — конечное множество функций интерпретации.

Операции онтологии:

• 1. Структура онтологии «Вычислительная геометрия» на сайте http://sestudy.edu-ua.net/ technologies /ontologies /descr.php?lang=ua.
• 2. Подача онтологии «Вычислительная геометрия» http://sestudy.edu-ua.net/ technologies /ontologies /example.php?lang=ua
• 3. Пример разработки онтологии в ИТК

Схема онтологии вычислительной геометрии имеет такой вид:

• 1. Классы задач
• а) Статические задачи.
• б) Динамические задачи.
• в) Задачи геометрическою поиска .
• 2. Вариации задач.

Домен «Вычислительная геометрия» представлен в графическом виде средствами системы.

Protege поддерживает два основных способа моделирования онтологии посредством редакторов Protege-Frames и Protege-OWL. Онтология, построенная в Protege, может быть экспортирована во множество форматов, включая RDF (RDF Schema), OWL и XML Schema. Protege имеет открытую, легко расширяемую архитектуру за счет поддержки модулей расширения функциональности.