3. Види семантичних відношень.

Кількість типів відносин в семантичній мережі визначається її творцем, виходячи з конкретних цілей. В реальному світі їх число прагне до нескінченності. Кожне відношення є, по суті, предикатом, простим або складеним. Швидкість роботи з базою знань залежить від того, наскільки ефективно реалізовані програми обробки потрібних відносин.

Ієрархічні

Найбільш часто виникає потреба в описі відносин між елементами, множинами і частинами об'єктів. Відношення між об'єктом і множиною, що позначає, що об'єкт належить цій безлічі, називається відношенням класифікації (ISA). Кажуть, що безліч (клас) класифікує свої екземпляри. (приклад: «Шарик є собакою» = Шарик є об'єктом типу собака). Іноді це відношення іменують також MemberOf, InstanceOf або подібним чином. Зв'язок ISA припускає, що властивості об'єкта успадковуються від множини. Протилежне до ISA відношення використовується для позначення прикладів, тому так і називається - «Example», або по-російськи «Приклад». Ієрархічні відносини утворюють деревовидну структуру.

Відношення між надбезліччю і підмножиною (називається AKO - «A Kind Of», «різновид»). (Приклад: «собака є твариною» = тип з іменем собака є підтипом типу тварини). Елемент підмножини називається гіпоніми (собака), а надмножество - гіперонімов (тварина), а саме відношення називається відношенням гіпоніми. Альтернативні назви - «SubsetOf» і «Підмножина». Це відношення визначає, що кожен елемент першого безлічі входить і в друге (виконується ISA для кожного елементу), а також логічний зв'язок між самими підмножинами: що перше не більше другого і властивості першого безлічі успадковуються вторим.Отношеніе АКО (Род-Вид) часто використовується для навігації в інформаційному просторі, наприклад, у Вікіпедії.

Об'єкт, як правило, складається з декількох частин, або елементів. Наприклад, комп'ютер складається з системного блоку, монітора, клавіатури, миші і т. д. Важливим відношенням є HasPart, що описує зв'язок частин і цілого - ставлення мероніміі. У цьому випадку властивості першого безлічі не успадковуються другим. Мерон та Холон - протилежні поняття:

Меронем - об'єкт, що є частиною для іншого. (Двигун - Мерон автомобіля.)

Холон - об'єкт, який включає в себе інше. (Наприклад, у будинку є дах. Дім - Холон даху. Комп'ютер - Холон монітора.)

Часто в семантичних мережах потрібно визначити відносини синонімії і антонімії. Ці зв'язки або дублюються явно в самій мережі, або визначаються алгоритмічної складової.

Допоміжні

У семантичних мережах часто використовуються також наступні відносини [Гаврилова]:

функціональні зв'язки (визначені зазвичай дієсловами «виробляє», «впливає» ...);

кількісні (більше менше, так само ...);

просторові (далеко від, близько від, за, під, над ...);

тимчасові (раніше, пізніше, протягом ...);

атрибутивні (мати властивість, мати значення);

логічні (І, АБО, НЕ);

лінгвістичні.

Цей список може скільки завгодно продовжуватися: в реальному світі кількість відносин величезне. Наприклад, між поняттями може використовуватися ставлення «абсолютно різні речі» або подібне: Не_имеют_отношения_друг_к_другу (Сонце, Кухонний_чайнік).