6.3: Семантична перспектива

Щоб описати відносини між ресурсами, потрібно зрозуміти, що означають відносини. Ця смислова перспектива є сутністю відносин і пояснює, чому ресурси пов'язані, спираючись на інформацію, яка безпосередньо не доступна від сприйняття ресурсів. У нашому сімейному прикладі Сімпсона ми відзначили, що Гомер і Мардж пов'язані між собою шлюбом, а також їхніми стосунками як батьків Барта, Лізи та Меггі, і жоден з цих відносин не є безпосередньо сприйнятим. Це означає, що «Гомер одружений на Мардж» - смислове твердження, але «Гомер стоїть поруч з Мардж» - ні. ^[1]

Семантичні зв'язки зазвичай виражаються присудком з одним або декількома аргументами. Присудок - це шаблон дієслівної фрази для вказівки властивостей об'єктів або зв'язку між об'єктами. У багатьох стосунках предикат - це дія або асоціація, яка включає в себе кілька учасників, які повинні бути певних типів, а аргументи визначають різні ролі учасників. ^[2]

Ми можемо висловити зв'язок між Гомером та Мардж Сімпсон, використовуючи синтаксис предикату (аргументів)) наступним чином:

одружений (Гомер Сімпсон, Мардж Сімпсон)

Послідовність, тип та роль аргументів є важливою частиною вираження відносин. Послідовність і роль явно розрізняються, коли предикати, які приймають два аргументи, виражаються за допомогою синтаксису суб'єкта-предикат-об'єкта, який часто називають потрійним через три його частини:

Гомер Сімпсон → одружений → Мардж Сімпсон

Однак ми ще не уточнили, що означає відносини «одружений-до». Люди можуть продемонструвати своє розуміння «одружений», розуміючи, що альтернативними та семантично еквівалентними виразами відносин між Гомером і Мардж можуть бути:

Гомер Сімпсон → одружений → Мардж Сімпсон
Гомер Сімпсон → є чоловіком → Мардж Сімпсон
Мардж Сімпсон → одружена з → Гомер Сімпсон
Мардж Сімпсон → є дружиною → Гомер Сімпсон

Йдучи на крок далі, ми могли б сказати, що люди розуміють еквівалентність цих різних виразів відносин, оскільки вони мають семантичні та лінгвістичні знання, які пов'язують деяке уявлення про «одружений», «чоловік», «дружина» та інші слова. Жодне з цих знань не видно у виразах відносин до цих пір, всі з яких визначають конкретні відносини щодо окремих осіб, а не абстрактні відносини між класами ресурсів або поняттями. Ми просто висунули проблему того, що означає зрозуміти вирази в розумі людини, яка робить розуміння.

Ми можемо бути більш суворими і визначити слова, що використовуються в цих виразах, щоб вони були «у світі», а не просто «в розумі» людини, яка їх розуміє. Ми можемо написати визначення щодо цих класів ресурсів:

• Звичайні або традиційні шлюбні відносини - це взаємна довічна асоціація між чоловіком і дружиною, яка санкціонується законом і часто релігійними церемоніями;

• Чоловік є чоловіком довічним партнером, який вважається по відношенню до своєї дружини; і

• Дружина - це жінка довічного партнера, що розглядається по відношенню до чоловіка. ^[3]

Визначення, подібні до цих, допомагають людині вчитися і зробити певний сенс вираження відносин за участю Гомера і Мардж. Однак ці визначення не в тій формі, яка б дозволила комусь повністю зрозуміти вирази Гомера і Марджа; вони спираються на інші невизначені терміни (консенсуальний, закон, життя тощо), і вони не констатують взаємозв'язку між поняттями у визначеннях. ^[4] Крім того, для того, щоб комп'ютер міг зрозуміти вирази, йому потрібно комп'ютерне подання відносин між словами та значеннями, що робить кожне важливе семантичне припущення та властивість точним та явним. Ми побачимо, що це потрібно, починаючи з наступного розділу.

Види семантичних відносин

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

Немає реального консенсусу щодо того, як класифікувати семантичні відносини, але ці три широкі категорії є розумними для наших цілей:

Відносини включення

Один тип сутності містить або складається з інших типів сутностей; часто виражається за допомогою предикатів «is-a», «is-a-type-of», «is-part-of» або «is-in».

Відносини атрибуції

Затвердження або присвоєння значень властивостям; присудок залежить від властивості: «є-the-author-of», «is-married-to», «is-employed-by» тощо.

Відносини володіння

Затвердження права власності або контролю над ресурсом; часто виражається за допомогою присудка «має», наприклад «has-serial-number-plate». » ^[5]

Все це є основоположними в організації систем, як для опису і організації самих ресурсів, так і для опису взаємозв'язків між ресурсами і описами ресурсів.

Включення

Існує три різних типи взаємозв'язків включення: класове включення, меронімічне включення та топологічне включення. Всі три зазвичай використовуються в організаційних системах.

Включення класу - це фундаментальне і знайоме відношення «is-a», «is-a-type-of» або «subset» між двома типами сутностей або класами, де один міститься в і таким чином, більш конкретний, ніж інший, більш загальний.

М'ясо → Is-a → Харчування

Набір взаємопов'язаних відносин включення класів створює ієрархію, яку часто називають таксономією.

М'ясо → is-a → Харчова
молочна продукція → is-a → Харчування
Крупа → Is-a → Харчові продукти,
овочі → is-a → Харчування
Яловичина → Яловичина → М'ясо
Свинина → М'ясо
Курка → Іс-а → М'ясо
яловичий фарш → Іс-а → Яловичина
Стейк → Іс-а → Яловичина
...

Наочне зображення таксономії полегшує сприйняття класової ієрархії. Див. Малюнок: Часткова таксономія їжі.

Часткова таксономія їжі виділяє категорії або готову їжу від м'яса, виділяє курятину, яловичину, свинину як підкатегорії м'яса, а також виділяє яловичий фарш і стейк як підкатегорії яловичини.

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

Всі приклади в поточному розділі виражали абстрактні зв'язки між класами, на відміну від більш ранніх конкретних про Гомера і Марджа, які виражали взаємини між конкретними людьми. Гомер і Мардж є прикладами таких класів, як «одружені люди», «чоловіки» та «дружини». » Коли ми робимо твердження, що конкретний екземпляр є членом класу, ми класифікуємо екземпляр. Класифікація - це відношення включення класу між екземпляром і класом, а не між двома класами. (Ми детально обговорюємо класифікацію в розділі Класифікація: Присвоєння ресурсів категоріям.)

Хомер-Сімпсон → Сіа → Чоловік

Це лише найнижчий рівень класової ієрархії, в якій Гомер знаходиться в самому низу; він і людина, і людина, і живий організм (принаймні в мультяшній землі). ^[6] Тепер ви можете пам'ятати ієрархію включення бібліографічного класу, яку ми обговорювали в «Ідентичність та бібліографічні ресурси»; конкретний фізичний елемент, такий як ваша копія Макбета, також є певним проявом у певному форматі або жанру, і цей вислів є одним з багатьох для абстрактного твору.

екземпляр → is-member-of → клас

Частково ціле включення або меронімічне включення - це другий тип інклюзійних відносин. Зазвичай він виражається за допомогою «is-part-of», «is-partly», або з іншими подібними виразами присудків. Уїнстон, Чаффін і Геррманн визначили шість різних типів взаємин частково цілих. Їх значення тонко відрізняється в залежності від того, чи є частина окремо ідентифікованою і чи є частина важливою для цілого. ^[7]

• Компонент-Об'єкт - це тип зв'язку, коли деталь є окремим компонентом, який організовується або зібраний з іншими компонентами для створення більшого ресурсу. У розділі «Ресурси з деталями», «Ресурси з деталями» ми використовували як приклад співвідношення компонент-об'єкт між двигуном і автомобілем:

  Двигун → є частиною → Автомобіль

  Компоненти цього типу взаємин часткового цілого не повинні бути фізичними об'єктами; «Німеччина є частиною Європейського Союзу» виражає взаємозв'язок компонент-об'єкт. Важливим є те, що компонент можна ідентифікувати самостійно як цілісну сутність і що компоненти слідують певній структурній організації чи структурі, коли вони утворюють ціле. Разом деталі утворюють композицію, а деталі в сукупності утворюють ціле. Автомобіль, у якого відсутня частина двигуна, працювати не буде.

• Member-Collection - це частина-весь тип відносин, де «is-part-of» означає «належить до», слабший вид асоціації, ніж компонент-об'єкт, оскільки немає припущення, що компонент має певну роль або функцію в цілому.

  Книга → є-part-of → Бібліотека

  Члени колекції існують незалежно від цілого; якщо ціле перестає існувати, окремі ресурси все ще існують.

• Порція-маса - це тип відносин, коли всі частини схожі один на одного і в цілому, на відміну від будь-якого з попередніх типів, де двигуни не шини або автомобілі, а книги не схожі на альбоми або бібліотеки.

  Зріз → є частиною → пиріг

• Відносини stuff-Object найчастіше виражаються за допомогою «is-partly» або «is-made-of» і відрізняються від компонент-об'єкт, оскільки матеріал не може бути відокремлений від об'єкта без зміни його ідентичності. Матеріал не є окремим інгредієнтом, який використовується для створення об'єкта; він є його складовою, як тільки він зроблений.

  Вино → частково → Алкоголь

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

  Еверглейдс → є частиною → Флорида

• Feature-Activity - це тип відносин, в якому компоненти є етапами, фазами, або підвидами діяльності, які відбуваються з плином часу. Це співвідношення схоже на компонент-об'єкт в тому, що компоненти в цілому розташовані відповідно до структури або шаблону.

  Овертайм → є частиною → Футбольний матч

Сьомий тип взаємин, що називається фаза-активність, був запропонований Storey. ^[8]

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

  Оплата → part-of → Покупки

Топологічне, локаційне та тимчасове включення - це третій тип зв'язку включення між контейнером, площею або тимчасовою тривалістю та тим, що він оточує або містить. Найчастіше виражається за допомогою «є в» як відносини. Однак суб'єкт, який міститься або оточений, не є частиною включно, тому це не часткові відносини.

Ватикан → знаходиться в → Італія
Зустріч → є в → вдень

Атрибуція

На відміну від виразів включення, які встановлюють зв'язки між ресурсами, відносини атрибуції стверджують або призначають значення властивостям для певного ресурсу. У описі ресурсу та метаданих ми використовували «атрибут», щоб означати «неподільну частину опису ресурсу» і розглядали його як синонім «властивості». » Тепер нам потрібно бути більш точними і ретельно розрізняти тип атрибута та значення, яке він має. Наприклад, колір будь-якого об'єкта є атрибутом об'єкта, а значення цього атрибута може бути «зеленим». »

Деякі фреймворки для семантичного моделювання визначають «атрибут» дуже вузько, обмежуючи його виразами з предикатами лише з одним аргументом для затвердження властивостей одного ресурсу, відрізняючи їх від зв'язків між ресурсами або типами ресурсів, які вимагають двох аргументів: ^[9]

Мартін Гекко → малий
Мартін Гекон → є-зелений

Однак завжди можна висловити подібні твердження способами, які перетворюють їх у відносини з двома аргументами:

Мартін → має розмір → маленький
Martin → має колір шкіри → зелений

Дедре Гентнер зазначає, що ця передбачувана різниця між атрибутами одного предиката та зв'язками з двома предикатами залежить від контексту. ^[10]

Наприклад, малі можна розглядати як атрибут, X → is-small, або як зв'язок між X і якимось стандартом або посиланням Y, X → менший, ніж → Y.

Ще один дещо складний аспект відносин атрибуції полягає в тому, що з семантичної точки зору часто існує багато різних способів вираження еквівалентних значень атрибутів.

Мартін → має розмір → 6 дюймів
Мартін → має розмір → 152 мм

Ці два твердження висловлюють думку про те, що Мартін маленький. Однак багато реалізацій відносин атрибуції трактують значення атрибутів буквально. Це означає, що якщо ми не зможемо обробити ці два твердження, використовуючи інший зв'язок, який виражає перетворення дюймів в мм, ці два твердження можна інтерпретувати як говорять різні речі про розмір Мартіна.

Нарешті, ми зауважимо, що ми можемо висловити відносини атрибуції щодо інших відносин, наприклад, дати встановлення відносин. Річниця весілля Гомера і Мардж Сімпсон - атрибут їхніх відносин «одружений».

Смислові відмінності між атрибутами та іншими типами відносин не є сильними, але вони можуть бути зрозумілішими шляхом вибору реалізації. Наприклад, атрибути XML щільно пов'язані з елементом, що містить, а їх літеральні значення обмежуються атомарними елементами інформації. На відміну від цього, відносини включення виражаються буквальним утриманням одного елемента XML іншим.

Володіння

Третя окрема категорія смислових відносин - це володіння. Відносини володіння можуть здаватися поверхнево, як неповні цілі:

Боб → має →
автомобіль Автомобіль → має → колеса

Однак у другому з цих відносин «має» - це еліптична форма «має як частину», виражаючи часткове ціле відношення, а не одне володіння.

Поняття володіння особливо важливо в інституційних організаційних системах, де питання власності, контролю, відповідальності та передачі права власності, контролю та відповідальності можуть бути основоположними частинами взаємодій, які вони підтримують. Однак володіння є складним поняттям, за своєю суттю пов'язаним із суспільними нормами та конвенціями про власність та спорідненість, що робить його більш м'яким, ніж можуть сподобатися інституційні процеси.

Відносини володіння також передбачають тривалість або наполегливість, і їх часто важко відрізнити від стосунків, заснованих на звичному розташуванні чи практиці. Міллер і Джонсон-Лерд ілюструють складну природу відносин володіння цим реченням, яке виражає три різних їх типи: ^[11]

• Він володіє парасолькою, але вона запозичила її, хоча вона не має її з собою.

Властивості семантичних відносин

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

Симетрія

У більшості відносин порядок, в якому виражаються аргументи суб'єкта та об'єкта, є центральним у значенні відносин. Якщо X має зв'язок з Y, зазвичай не так, що Y має однакові відносини з X. Наприклад, тому що «is-parent-of» - це асиметричні відносини, лише перше з цих відносин має:

Гомер Сімпсон → є батьком → Барт Сімпсон (TRUE)
Барт Сімпсон → є батьком → Гомер Сімпсон (НЕ ПРАВДА)

На відміну від цього, деякі відносини симетричні або двонаправлені, а зворотний порядок аргументів присудка відносини не змінює значення. Як ми вже зазначали раніше, ці два твердження семантично еквівалентні, оскільки «is-maried-to» симетрично:

Гомер Сімпсон → одружений → Мардж Сімпсон
Мардж Сімпсон → одружений → Гомер Сімпсон

Ми можемо уявити симетричний і двонаправлений характер цих відносин за допомогою двоголової стрілки:

Гомер Сімпсон ⇔ одружений на ⇔ Мардж Сімпсон

Транзитивність

Транзитивність - ще одна властивість, яка може стосуватися смислових відносин. Коли відносини є перехідними, якщо X і Y мають відношення, а Y і Z мають однакові відносини, то X також має зв'язок із Z. будь-які відносини, засновані на впорядкуванні, є перехідним, що включає числові, алфавітні та хронологічні, а також ті, що мають на увазі якісні або кількісні вимір. Тому що «вищий ніж» є перехідним:

Гомер Сімпсон → вище, ніж → Барт Сімпсон
Барт Сімпсон → вище, ніж → Меггі Сімпсон

має на увазі, що:

Гомер Сімпсон → вище, ніж → Меггі Сімпсон

Відносини включення за своєю суттю є перехідними, оскільки так само, як «іс-вище, ніж» є твердженням про відносний фізичний розмір, «is-a-type of» та «is-part-of» - це твердження про відносні розміри абстрактних класів або категорій. Прикладом перехідності в частково-цілих або меронімічних співвідношеннях є: (1) карбюратор є частиною двигуна, (2) двигун є частиною автомобіля, (3) отже, карбюратор є частиною автомобіля. ^[12]

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

Еквівалентність

Будь-яке відношення, яке є симетричним і перехідним, є співвідношенням еквівалентності; «is-equal-to», очевидно, є співвідношенням еквівалентності, тому що якщо A = B, то B = A і якщо A = B і B = C, то A=C Інші відносини можуть бути еквівалентними без значення « точно рівно», як і співвідношення «is-congruent-to» для всіх трикутників.

Нам часто потрібно стверджувати, що певний клас або властивість має те саме значення, що й інший клас або властивість, або що він взагалі замінюється для нього. Ми робимо це явним із співвідношенням еквівалентності.

Сестра (англійська) ⇔ еквівалентна ⇔ Hermana (іспанська)

Зворотний

Для асиметричних відносин часто корисно чітко говорити про значення відносин, коли порядок аргументів у відносині змінюється. Отриманий зв'язок називається зворотним або зворотним першим відносинами. Якщо система організації явно представляє це:

Is-Child-of → є-інверс-з → є батьком-з

Потім ми можемо зробити висновок, що:

Барт Сімпсон → Дитина → Гомер Сімпсон

Онтології

Ми зараз досить докладно описали види і властивості семантичних відносин, щоб повернутися до поставленого нами раніше виклику: яка інформація потрібна для повного розуміння відносин? Це питання задавали і обговорювали десятиліттями, і ми не будемо прикидатися, що відповімо на нього жодною мірою тут. Однак ми можемо накидати деякі основні частини рішення.

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

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

Гриль → is-a-type-of →
Температура приготування їжі → is-a-masure-of →
Гамбургер на грилі → is-equivalent-to →
Гамбургер з яловичого фаршу → is-prepared-by → Гриль
гамбургер Сендвіч → is-a-type-of → Готові продукти
Рідкісні → is-a → Стан приготування їжі
Добре зроблено → Стан харчових продуктів Підготовка
М'ясо → is-conserved-by →
Заморожування Розморожування → is-the-inverse-of → Заморожування
...

Часткова онтологія їжі накладає таксономію їжі з твердженнями, які роблять твердження про категорії, екземпляри та відносини в харчовій області. Прикладом тверджень може бути те, що «Гриль - це тип приготування їжі», що «М'ясо зберігається шляхом заморожування», і що «Гамбургер еквівалентний яловичому фаршу. »

У цьому простому прикладі ми бачимо, що відносини включення класів утворюють своєрідний кістяк, до якого приєднуються інші види відносин. Ми також бачимо, що існує багато потенційно релевантних тверджень, які разом представляють знання, які майже всі знають про продукти харчування та пов'язані з ними домени. Мережа подібних відносин створює ресурс, який називається онтологією. ^[13] Візуальне зображення онтології ілюструє цю думку про те, що вона має таксономію як концептуальну ешафот. (Див. Малюнок: Часткова онтологія їжі.)

Існує безліч форматів для вираження онтологій, але багато хто з них останнім часом сходилися до або засновані на мові веб-онтології (OWL), розробленому «Resource Description Framework (RDF)») для визначення класів ресурсів і привласнення їм властивостей в строгій способи, розташувати їх в ієрархії класів, встановити їх еквівалентність і вказати властивості зв'язків. ^[14]

Онтології є важливими частинами деяких організаційних систем, особливо інформаційно-інтенсивних, де обсяг та масштаб ресурсів вимагають великої та контрольованої лексики опису. (Див. «Процес опису ресурсів».) Найширша онтологія коли-небудь створена Cyc, народився в 1984 році як дослідницький проект штучного інтелекту. Через три десятиліття остання версія онтології Cyc містить кілька сотень тисяч термінів і мільйони тверджень, які їх взаємопов'язані. ^[15]

---

1. «Семантичний» зазвичай визначається як «відношення до значення або мови», і це тут не здається корисним.

   ←

   
   

2. Протягом десятиліть піднімалися важливі та неприємні питання щодо специфіки цих асоціацій предикат-аргументів та про те, як або коли семантичні обмеження, які вони втілюють, поєднуються з синтаксичними та контекстуальними обмеженнями в процесі осмислення мови. Розглянемо, як «Перебуваючи в операційній, хірург використовував ніж, щоб розрізати ____» генерує іншу тривалість від того ж присудка та агента в «Перебуваючи в вишуканому ресторані, хірург використовував ніж, щоб вирізати ____. » Див. (Ельман 2009).

   ←

   
   

3. Ця книга не місце для дискусій з приводу визначення шлюбу. Ми не фанати; нам просто не потрібна ця дискусія тут. Якщо ці визначення засмутили вас тут, ви відчуєте себе краще в «Ступінь».

   ←

   
   

4. Як правило, коли люди використовують мову, вони діють на припущенні, що кожен поділяє свою модель світу, забезпечуючи спільну основу, яка дозволяє їм спілкуватися. Як ми бачили в Ресурси в організації систем та опису ресурсів та метаданих (через проблеми зі словниковим запасом та різних цілей використання ресурсів та мови) це припущення часто є неправильним, Це прокладає шлях до серйозних непорозумінь, оскільки те, що таке передбачається, що вони є спільними знаннями, насправді не можуть бути поділені або зрозумілі однаково.

   ←

   
   

5. Див. (Чаффін і Геррман 1984), (Стор 1993).

   ←

   
   

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

   ←

   
   

7. (Уїнстон, Чаффін і Герман 1987).

   ←

   
   

8. (Поверх 1993).

   ←

   
   

9. Мартін - анімований гекон, який є рекламним представником Geico Insurance (http://www.geico.com/). Дотепність і кокні акцент Мартіна роблять його привабливим і незабутнім, і кілька років тому він був визнаний улюбленим рекламним значком в США.

   ←

   
   

10. (Гентнер 1983).

    ←

    
    

11. (Міллер і Джонсон-Лерд 1976, стор. 565).

    ←

    
    

12. Деякі люди стверджували, що мерономія не є перехідною, але уважний погляд на їх передбачувані зустрічні приклади говорить про інше. Див. Розділ 5 в (Вінстон, Чаффін і Герман 1987).

    ←

    
    

13. онтологія - це галузь філософії, що стосується того, що існує в реальності та загальні риси та відносини того, що може бути (Hofweber 2009). Комп'ютерна наука прийняла «онтологію» для позначення будь-якого ресурсу, що обробляється комп'ютером, який представляє відносини між словами та значеннями в деякій області знань. Див. (Грубер 1993), (Гуаріно 1998).

    ←

    
    

14. Мова веб-онтології (OWL) http://www.w3.org/2004/OWL/.

    ←

    
    

15. www.cyc.com/.

    ←