ПОНЯТТЯ ОНТОЛОГІЇ:

Визначення
 Немає загального визначення.
 Визначення Грубера (явна онтологія є явна специфікація
концептуалізації предметної області)
 Концептуалізація - це структура реальності, що розглядається незалежно
від словника предметної області і конкретної ситуації. 
 Наприклад, якщо ми розглядаємо просту предметну область, що описує
кубики на столі, то концептуалізації є набір можливих положень кубиків, а
не конкретне їх розташування в поточний момент часу.
 Математичний формалізм (сигнатура, алгебри). Формальною
онтологією предметної області називається пара <A, σ>, де σ - безліч
ключових понять предметної області, А - безліч аналітичних
пропозицій, що описують зміст даних ключових понять
 На формальному рівні онтологія - це система, що складається з
набору понять і набору тверджень про ці поняття, на основі яких
можна описувати класи, відносини, функції та індивіди.
Поняття
 Термін «онтологія» в даний час популярний в інформатиці. 
 Онтологія представляє знання, як опис понять (класів)
 Онтологію визначають як явну формальну специфікацію
концептуалізації предметної області, розуміння якої
розділяється спільнотою агентів. 
 Опис онтології виконується експертами або програмними
агентами.
 Вона часто розробляється в конкретних цілях в даній
прикладній області. 
 Онтології грають центральну роль в Семантичному Інтернеті,
метою якого є створення інфраструктури, що дозволяє зробити
інформацію в Інтернеті доступною програмним агентам і іншим
системам математичного забезпечення.
Основні компоненти онтології

 класи (або поняття),

 відносини (або властивості, атрибути),
 функції,
 аксіоми,
 екземпляри (або індивіди).
Класи (або поняття)

 Поняттям може бути будь-яка сутність, про яку

може бути дана будь-яка інформація. 
 Класи - це абстрактні групи, колекції або набори
об'єктів. Вони можуть включати в себе
екземпляри, інші класи, або ж поєднання і того, і
іншого. 
 Класи в онтологіях зазвичай організовані в
таксономії - ієрархічну класифікацію понять по
відношенню включення. 
 Наприклад, класи Чоловік і Жінка є підкласами класу
Людина, яка в свою чергу входить в клас Ссавці.
Відносини

 Відносини представляють тип взаємодії між поняттями

предметної області. 
 Формально n -арні відносини визначаються як підмножина
n множин: R  ⊆ C 1  x C 2  x ... x C n , де С j - класи. У тому
випадку, коли n = 2, відношення R
називається бінарним. Приклад бінарного відносини -
відношення ISA ( «є певне», ставлення включення одного
класу в інший).
 Відносини можуть бути організовані в таксономії по
включенню; наприклад, відносини Бути_батьком_ і
Бути_мамою_на безлічі людей містяться в відношенні
Бути_батьками, яке в свою чергу міститься в відношенні
Бути_пращуром.
Функції та аксіоми

 Функції - це спеціальний випадок відносин,

в яких n -й елемент відносин однозначно
визначається n-1 попередніми елементами.
 Аксіоми використовуються, щоб записати
висловлювання, які завжди правдиві. Вони
можуть бути включені в онтологію для
різних цілей
Екземпляри (або індивіди)

 це основні, ніжньорівневі компоненти

онтології. 
 Індивіди можуть являти собою як фізичні
об'єкти (люди, будинки, планети), так і
абстрактні (числа, слова).
 Однією з головних цілей онтології є
класифікація індивідів.
Чому виникає потреба в розробці
онтології? 
 для спільного використання людьми або програмними агентами
загального розуміння структури інформації;
 для можливості повторного використання знань в предметній
області;
 для того щоб зробити припущення в предметної області явними;
 для відділення знань в предметній області від оперативних
знань;
 для аналізу знань в предметній області.
 для навігації по великих масивах інформації в Інтернет
 для пошуку інформації
 для опису предметної області. 
Області застосування онтологій

• електронна комерція;
• біоінформатика;
• юридичні інформаційні системи;
• електронне обучение;
• технологія агентів;
• побудова баз даних;
• програмна інженерія;
• обробка природної мови;
• інформаційний пошук;
• Семантичний Веб;
• Веб-сервіси.
Формальна концептуалізація

Концептуалізація по Дженесерету і Нільссону

- це пара (U, R ), де
• U - множина, звана універсумом ;
• R - множина відносин, заданих на U.
Зауважимо, що за цим визначенням
елементами безлічі R є звичайними
математичними
відносинами, тобто деякими множинами
кортежів, складеними з елементів D . 
Приклади онтологій

 Словник з визначеннями, глосарій може розглядатися

як онтологія з порожньою безліччю відносин.
 Найпростіша модель онтології з відносинами
будується зазвичай на основі відносин клас-
підклас. Такі моделі часто називаються таксономії .
 Інформаційно-пошукові тезауруси.
 Моделі з деяким широким набором відносин.
 Найбільш формалізовані онтології є логічні теорії,
побудовані на довільних логічних твердженнях про
поняття - аксіомах .
 Мережа комунікативних (семантичних) очікувань
Класифікація

За ступенем залежності від конкретної задачі

або предметної області зазвичай
розрізняють:
• онтології верхнього рівня;
• онтології, орієнтовані на предметну
область;
• онтології, орієнтовані на конкретну задачу;
• прикладні онтології.
Таксономічні відносини

 «Належить до класу» ( «a kind-of» ( «is-a»))

 Клас - підклас
 Лінгвістика: гіпонім - гиперонім
 Родовідове ставлення
Властивості відносин

 транзитивність
 успадкування
Приклад
 Розглянемо предметну область «Компанія», пов'язану зі зберіганням
відомостей про працівників деякої компанії. Припустимо, що в компанії
працює 300 осіб, кожен з яких ідентифікується номером ІПН (індивідуальний
номер платника податків). 
 Нехай універсум U містить всіх цих працівників. Ми цікавимося відносинами
між ними. Таким чином, R містить деякі унарні відносини (тобто підмножини)
такі, як Працівник, Менеджер і Дослідник, а також бінарні
відносини підпорядкований і співпрацює_з. Відповідна екстенсіональная
реляційна структура (U, R ) така:
U = ІПН всіх працівників компанії;
 R = { Працівник, Менеджер, Дослідник, підпорядкований, співпрацює_з  }.
 Екстенсіоналу відносин відображають конкретний світ. Працівник збігається з
універсумом U, а безлічі Працівник, Менеджер, Дослідник є власними
підмножинами універсуму. 
 Бінарні відносини підпорядкований, співпрацює_з  є множинами пар, які
вказують ієрархію підпорядкування і спільну роботу працівників. 
Онтологія
контексту
навчання
Разработка ІС

Ропочинається з аналізу предметної області

(аналітика)
 Експерти предметної області, що володіють
концепцією і системою знань предметної області,
постановники прикладних задач
 Проектувальники інформаційної системи, які
потребують моделі предметної області в зрозумілих
їм термінах
 Аналітики, які повинні отримати інформацію від
експертів і задовольнити потреби
проектувальників.
Підходи до аналітики

 Математично-орієнтований: об'єктам ситуації

ставляться у відповідність математичні
об'єкти (числа, графи, функції і т.п.). Система
знань ПО = система матем. співвідношень.
Прикладні завдання = матем. завдання.
 Орієнтований на засоби реалізації:
наприклад, ООАналіз (модель ПО = набір
класів, об'єктів і методів) та інженерія знань
(безліч правил). Результат аналізу містить
опис методів функціонування ІС.
Третій подхід: онтологічний аналіз

 Орієнтований на систему понять

аналізованої ПО. Модель ПО = модель
онтології & система знань цієї ПО.
Постановка прикладних задач
формулюються в термінах моделі онтології.
 Методи вирішення завдань - самостійний
етап аналізу.
 Мета онт.аналіза ПО - пошук її
концептуалізації.
ОА ПО: Перший етап

 Пошук концептуалізації ПО.

 Експерти формують якомога повніший список термінів, які
використовуються для подання дійсності, а також
представницький список опису ситуацій дійсності в цих
термінах.
 Аналітики з допомогою експертів намагаються вербально
уявити ситуації з цього списку, а експерти визначають,
наскільки адекватні ці уявлення. Фіксують зміст
використовуваних термінів і значень, а також принципи їх
адекватного уявлення в ситуаціях.
 Окремий етап - аналіз списку значень (кожне значення д.б.н.
віднесено до деякої величини, стандартної / нестандартної).
Складається список всіх використаних величин, нестандартних.
Завершення I етапу

 всі ситуації зі списку адекватно

представлені як елементи концептуалізації
 величини виділені
 Сенс всіх термінів і принципи їх
адекватного уявлення за допомогою
ситуацій зрозумілі аналітикам
ОА ПО: Другий етап

 Побудова онтології для знайденої концептуалізації

 Для цього аналітики за допомогою експертів будують
визначення всіх термінів концептуалізації,
використовуючи в цих визначеннях терміни, пов'язані з
величинами, і терміни концептуалізації, які вже отримали
визначення в онтології (індуктивні визначення).
 Пошук помилок - за допомогою списку вербальних
уявлень (якщо значення назви поняття виходить за межі,
визначені для нього в онтології). Формулювання
онтологічних угод (наприклад, складання вербального
списку безглуздих ситуацій, що не входять в
концептуалізацію, - може призвести до форм. Угод)
ОА ПО: Третій етап

 Побудова системи знань, що більш точно описує

дійсність.
 Будується в термінах онтології.
 Пошук помилок в системі знань про ПО. Перевіряється,
чи кожне вербальне уявлення ситуації узгоджується з
системою знань про ПО. За допомогою експертів
складається список ситуацій, які входять в
концептуалізацію (узгоджуються з онтологією), але не
входять в действіетльно (неможливі з точки зору знань
про ПО).
 Формалізація онтології і системи знань ПО завершує
побудову її моделі.
Переваги ОА

 Перевикористовуванність моделей ПО
 Велика свобода проектувальників у виборі
проектного рішення.
 Менше навантаження на аналітика.
Правила

 «Якщо клас А - надклас класу В, то кожен

екземпляр класу В також є екземпляром
А».
 Правильність родовідових відносин
перевіряється через властивості
транзитивності і успадкування.
 При перевірці транзитивності.