Опис моделі онтології ПрО «Обчислювальна геометрія»
Під онтологією розуміється система понять предметної області, яка визначається як набір сутностей і відношень між ними, яка виконана для обчислювальної геометрії (см. рис.13).
В ІТК онтологія обчислювальної геометри була розроблена в середовищі Protege 4.1. Це вільний, відкритий редактор онтологій і фреймворк для побудови баз знань.
Платформа Protege підтримує два основних способи моделювання онтологій за допомогою редакторів Protege-Frames і Protege-OWL. Онтології, побудовані в Protege, можуть бути експортовані в безліч форматів, включаючи RDF (RDF Schema), OWL і XML Schema.
Protege має відкриту, легко розширювану архітектуру за рахунок підтримки модулів розширення функціональності.
Protege підтримується значним співтовариством, що складається з розробників і вчених, урядових і корпоративних користувачів, що використовують його для вирішення завдань, пов'язаних зі знаннями, в таких різноманітних галузях, як біомедицина, збір знань і корпоративне моделювання.
Зокрема, в проекті представлені наступні базові сутності:
· Алгоритми
o Алгоритм Джарвіса
o Метод смуг
o …
· Термінологія
o Точка
o Коло
o Відрізок
o …
· Базові проблеми
o Бінарний пошук
o Сортування
o …
· Проблеми
o Локалізація точки
· Методи
· Структури даних
В роботі наведені такі відношення як «Включає», «Еквівалентно», «Вирішує» для організації логічного зв’язку між сутностями