Модель семантична
система значень, що приписуються виразам деякої формалізованої мови, те саме, що інтерпретація. Логічні системи часто будуються як формального обчислення, що бере до уваги лише зовнішній вигляд формул і символів. Обчислення перетворюється на мову після того, як його символом надано деяке значення і вказана область об'єктів, до якої відносяться його вирази та формули. Після цього ми можемо говорити про істинність і хибність формул обчислення. М. с. таки називають систему значень чи область об'єктів, які перетворюють формули логічного обчислення на справжні чи хибні твердження.
Словник з логіки. - М: Туманіт, вид. центр ВЛАДОС. А.А.Івін, А.Л.Нікіфоров. 1997 .
Дивитись що таке "семантична модель" в інших словниках:
Модель управління схема, що наочно відображає семантичні та синтаксичні актанти лексеми та способи їх морфосинтаксичного оформлення. Поняття введено в теорії «Зміст ↔ Текст». Синтаксис Основні поняття Пропозиція: проста, ускладнена … Вікіпедія
У цього терміна існують інші значення, див. Мережа … Вікіпедія
Приклад семантичної мережі Семантична мережа – інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а дуги (ребра) задають відносини між ними. Об'єктами можуть… … Вікіпедія
Книга І. А. Мельчука «Російська мова в моделі „Сенс ↔ Текст“» Теорія «Сенс ↔ Текст» теорія мови, створена І. А. Мельчуком і представляє її як багаторівневу модель перетворень сенсу в текст і назад (модель «Сенс ↔ Текст »);… … Вікіпедія
МОДЕЛЬ ЧОРТ- клас моделей людської пам'яті, що ґрунтуються на припущенні, що інформація зберігається у формі набору відмінних (семантичних) рис, які однозначно ідентифікують кожне поняття. Докладніше див. Семантична риса і порівн. з… …
Семантична мережа (модель)- – Клас теоретичних моделей структури людської довготривалої пам'яті. У таких моделях вважається, що інформація зберігається у формі слів, понять чи речень як незалежних одиниць, об'єднаних певними зв'язками чи відносинами. Енциклопедичний словник з психології та педагогіки
СЕМАНТИЧНА МЕРЕЖА (МОДЕЛЬ)- клас теоретичних моделей структури людської довготривалої пам'яті. У таких моделях вважається, що інформація зберігається у формі слів, понять чи речень як незалежних одиниць, пов'язаних певними зв'язками чи відносинами. Наприклад,… … Тлумачний словник з психології
Цей термін має й інші значення, див. Модель. Мережева модель - теоретичний опис принципів роботи набору мережевих протоколів, що взаємодіють один з одним. Модель зазвичай ділиться на рівні, так, щоб протоколи вищого рівня … Вікіпедія
У цій статті чи розділі є список джерел або зовнішніх посилань, але джерела окремих тверджень залишаються незрозумілими через відсутність виносок … Вікіпедія
Модель заснована на правилах, дозволяє уявити знання у вигляді пропозицій типу «Якщо (умова), то (дія)». Продукційна модель є фрагментами Семантичної мережі, що базуються на тимчасових відносинах між станами об'єктів. Продукційна… … Вікіпедія
Книги
- Російські дієслівні речення. Експериментальний синтаксичний словник. Експериментальний синтаксичний словник є новим лексикографічним виданням, оскільки у ньому вперше у російської лексикографії систематизовано семантичні моделі російських…
- Теорія функціонального синтаксису. Від семантичних структур до мовних засобів, А. Мустайокі. У книзі представлена нова модель функціонального синтаксису, систематично наступна принципом від значення до форми. Вихідним пунктом концепції є семантична структура, що відбиває…
Однією із спроб розширення можливостей СІІ є використання поєднання різних МПЗ фреймів та продукцій (продукційні правила у слотах кадру є формою приєднання до кадру процедурних знань) семантичних мереж та логічних моделей семантичних мереж та продукцій. Однак просте об'єднання в одній БЗ кількох МПЗ, які отримали назву комбінованих або змішаних, як правило малоефективно. Різні МПЗ не обов'язково несумісні один з одним, проте вони відрізняються за рівнем відповідності конкретним внутрішнім уявленням експерта.
Етап концептуального проектування включає створення концептуальної схеми БД. Специфікації розробляються тією мірою, яка потрібна для початку реалізації. На цьому етапі створюються докладні моделі власних уявлень даних, потім вони інтегруються в концептуальну модель (семантична модель), що фіксує всі елементи корпоративних даних, які міститиме БД.
Відомо досить велике число семантичних моделей даних (наприклад, модель "сутність-зв'язок", модель семантичних мереж та ін.) проте використовувані в них поняття, ідеї та методи характеризуються великою подібністю, що полегшує їх спільний розгляд.
Модель семантичних мереж
Можливості вираження семантики у термінах сутностей та зв'язків дуже обмежені. Підвищення виразної сили образотворчих засобів досягається моделі семантичної мережі. У певному сенсі можливості семантичної мережі є найбільш універсальними з відомих на сьогодні.
Принципові відмінності мають три моделі представлення знань - продукційна модель, модель фреймів і модель семантичних мереж.
Концептуальне проектування служить отримання моделей семантичного рівня, визначальних конкретну предметну область . Опис концептуальних моделей відбиває об'єкти ЕІС та зв'язку з-поміж них, але має залежати від методів представлення даних у конкретній системі управління базами даних. Концептуальна модель - деяке формалізоване, задане у явному вигляді, відображення предметної області, що визначає безліч її станів, включаючи правила зміни. Дана модель покликана забезпечити стійку та довготривалу роботу всієї системи, витримувати заміну одного керуючого комплексу на інший.
Класифікація показників народногосподарського планування повинна мати багатоаспектний характер і будуватися в тісній взаємодії з усіма іншими загальносоюзними та локальними класифікаторами та номенклатурами. Останнє пояснюється тим, що у найменуваннях показників знаходяться терміни, що входять у різні класифікатори та номенклатури. Використовуючи зафіксовані у яких відносини між термінами (рід -вид, ціле - частина тощо. п.), можна визначати семантичні зв'язок між показниками, зокрема входження в певні види, типи і класи. Повний склад ознак класифікації повинен бути визначений на основі аналізу структури планів, характеру економіко-математичних моделей, що застосовуються, методів вирішення завдань, включених у методичне забезпечення АСПР.
Інформація щодо її виникнення та подальших перетворень проходить три етапи, які, власне, і визначають її семантичний, синтаксичний та прагматичний аспекти. Людина спочатку спостерігає деякий факт навколишньої дійсності, який відбивається у його свідомості у вигляді певного набору даних. Тут проявляється синтаксичний аспект. Потім після структуризації цих даних відповідно до конкретної предметної області людина формує знання про факт, що спостерігається. Це семантичний аспект отриманої інформації. Інформація у вигляді знань має високий ступінь структуризації, що дозволяє виділяти повну інформацію про навколишню реальність і створювати інформаційні моделі досліджуваних об'єктів.
Види знань можуть бути представлені однією з наступних семантичних моделей
Наведено планування бази даних, Виконано аналіз предметної області та побудовано схему об'єкта-взаємозв'язку, виділено елементи даних та сформульовано семантичні правила . Спроектовано модель даних, яка потім перетворюється на логічну модель конкретної системи управління базою даних.
ДО СЕМАНТИЧНО ПОВНОЇ МОДЕЛІ
Так як відносини семантично повної моделі можуть
Заключна фаза аналізу предметної області полягає у проектуванні її інформаційної структури (чи концептуальної схеми). Описувати предметну область або проектувати концептуальну схему можна засобами досить великої кількості моделей, створених спеціально для цього. У найпростіших випадках для побудови концептуальної схеми використовують традиційні методи агрегації та узагальнень. При агрегації інформаційні об'єкти (елементи даних) об'єднуються один відповідно до семантичними зв'язками між об'єктами.
У межах кожної БД концептуальні вимоги узагальнюються в концептуальну модель, виражену абстрактними засобами, що дозволяють побачити весь інформаційний зміст предметної області. Концептуальна модель дозволяє піднятися вгору над предметною областю і побачити її окремі елементи. При цьому деталь, детальність та глибина предметної області залежить від обраної моделі. Модель із мінімальними можливостями має забезпечувати здатність завдання даних та їх взаємозв'язку. Відповідно семантична міць концептуальної моделі збільшується зі зростанням додаткового числа характеристик, які вона дозволяє оп-
Активні понятійні моделі розроблялися як зберігання описів використовуваних понять і зв'язків з-поміж них. Ставилися мети динамічно формувати нові судження, визначати тотожність чи подібність понять, виробляти їхню інтерпретацію обчислювального характеру. До таких моделей відносяться різні уявлення семантичних мереж, деякі спеціальні понятійні моделі, наприклад. Однак створення технологічно повних механізмів такого роду виявилося дуже складним завданням. Для безпосереднього використання промислових розробках ІС активні понятійні моделі досі були непридатні.
Визначаються складові інформаційної моделі, їх взаємозв'язок та послідовність розробки. Будується технологічний маршрут розробки, виділяються окремі етапи (фази) процесу, встановлюються структура та зміст вихідних та кінцевих даних кожного етапу. Виконуються формальні процедури семантичного контролю вихідних даних кожного етапу для налагодження інформаційної моделі та контролю за процесом розробки проекту.
Трьом типам знань відповідають і три типи моделей для їх подання синтаксичні, семантичні та прагматичні. Наявність двох останніх є найбільш істотною ознакою, що відрізняє інтелектуальні системи від усіх інших.
У основі моделей цього лежить конструкція, названа раніше семантичної мережею . Мережеві моделі формально можна поставити у вигляді
Фрейм найчастіше визначають як структуру даних уявлення стереотипних ситуацій. При цьому спосіб групування множини конкретних ситуацій в стереотипну, як правило, не може бути суворо визначений. Найчастіше стереотипні ситуації (для даної предметної області) виділяє дослідник, спираючись досвід і дані спостережень. Неформальні знання дослідника про предметної області можна як систему понять, визначальних уявлення про конкретні ситуації . Кожне поняття пов'язується з конкретною ситуацією, а конкретні ситуації узгоджуються з відповідною стереотипною. Якщо поняття є неформальними знаннями про стереотипну ситуацію, то фрейми - це формалізовані знання. Таким чином, фрейми відповідають поняттям, що відображають об'єкти, явища, характеристики предметної галузі. Це дає підставу розглядати кадр як семантичний блок або модуль моделі представлення знань. Модель представлення знань будується як мережі фреймів, т. е. системи певним чином взаємозалежних фреймів. Тому в мо-
У ряді систем використовуються комбінації мережевих та продукційних моделей уявлення знань. У таких моделях декларативні знання описуються в мережевому компоненті моделі, а процедурні знання – у продукційному. У такому разі говорять про роботу продукційної системи над семантичною мережею.
У сучасному світі пропаганда давно вже перестала бути суто ідеологічним заняттям, вона лежить на жорстких наукових засадах. Саме остання війна, що отримала назву "холодної", була насправді семантичною війною, семіотичною війною. Вона дала значний стимул до розвитку комунікативних моделей впливу. Вони достатньо наукові, хоча й формулюються з незвичною для нашого вуха часткою цинізму. Так, американці вважають, що їм краще опрацювати одного журналіста, ніж десять домогосподарок чи п'ять лікарів. Оскільки людина у своїй розглядається як канал, а чи не як адресат інформації.
Модель семантичної мережі (модель Куіліана). Семантична мережа – це спрямований граф із поіменованими
Семантичні бар'єри можуть створювати комунікативні проблеми для компаній, які працюють у багатонаціональному середовищі. Наприклад, фірма Дженерал Моторс, викинувши на латиноамериканську
Нормалізація
Основна стаття:Нормальна форма
p align="justify"> При проектуванні реляційних баз даних зазвичай виконується так звана нормалізація.
Моделі «сутність-зв'язок»
Основна стаття:ER-модель даних
Модель "сутність-зв'язок" (англ. “Entity-Relationship model”), або ER-модель, запропонована П. Ченом у 1976 р., є найвідомішим представником класу семантичних (концептуальних, інфологічних) моделей предметної галузі. ER-модель зазвичай представляється у графічній формі, з використанням оригінальної нотації П. Чена, званої ER-діаграма, або з використанням інших графічних нотацій ( Crow's Foot, Information Engineeringта ін.).
Основні переваги ER-моделей:
· Наочність;
· моделі дозволяють проектувати бази даних з великою кількістю об'єктів та атрибутів;
· ER-моделі реалізовані у багатьох системах автоматизованого проектування баз даних (наприклад, ERWin).
Основні елементи ER-моделей:
· Об'єкти (сутності);
· Атрибути об'єктів;
· Зв'язок між об'єктами.
Сутність – об'єкт предметної області, що має атрибути.
Зв'язок між сутностями характеризується:
· Типом зв'язку (1:1, 1:N, N:М);
· Класом власності. Клас може бути обов'язковим та необов'язковим. Якщо кожен екземпляр сутності бере участь у зв'язку, то клас власності - обов'язковий, інакше - необов'язковий.
Семантична модель (концептуальна модель, інфологічна модель) – модель предметної галузі, призначена для представлення семантики предметної області на найвищому рівні абстракції. Це означає, що усунуто або мінімізовано необхідність використовувати поняття «низького рівня», пов'язані зі специфікою фізичного представлення та зберігання даних.
Семантичне моделювання стало предметом інтенсивних досліджень із кінця 1970-х років. Основним спонукальним мотивом подібних досліджень (тобто проблемою, яку намагалися вирішити дослідники) був такий факт. Справа в тому, що системи баз даних зазвичай мають дуже обмежені відомості про сенс зберігаються в них даних. Найчастіше вони дозволяють лише маніпулювати даними певних простих типів та визначають деякі найпростіші обмеження цілісності, накладені на ці дані. Будь-яка складніша інтерпретація покладається на користувача. Однак було б чудово, якби системи могли мати трохи ширший обсяг відомостей і дещо інтелектуальніше відповідати на запити користувача, а також підтримувати більш складні (тобто більш високорівневі) інтерфейси користувача.
[…]
Ідеї семантичного моделювання можуть бути корисними як засіб проектування бази даних навіть за відсутності їх безпосередньої підтримки в СУБД.
Найбільш відомим представником класу семантичних моделей є модель "сутність-зв'язок" (ER-модель).
Потреби проектувальників баз даних більш зручних і потужних засобах моделювання предметної області породили напрям семантичних моделей даних. При тому, що будь-яка розвинена семантична модель даних, як і реляційна модель, включає структурну, маніпуляційну та цілісну частини, головним призначенням семантичних моделей є можливість вираження семантики даних.
Перш ніж ми коротко розглянемо особливості поширених семантичних моделей, зупинимося на можливих застосуваннях.
Найчастіше практично семантичне моделювання використовується першої стадії проектування бази даних. При цьому в термінах семантичної моделі виробляється концептуальна схема бази даних, яка потім перетворюється вручну до реляційної (або будь-якої іншої) схеми. Цей процес виконується під керівництвом методик, у яких досить чітко обумовлено всі етапи такого перетворення.
Менш часто реалізується автоматизована компіляція концептуальної схеми реляційну. Відомі два підходи: підхід, що базується на явному поданні концептуальної схеми як вихідної інформації для компіляції, та підхід, орієнтований на побудову інтегрованих систем проектування з автоматизованим створенням концептуальної схеми на основі інтерв'ю з експертами предметної галузі. І в тому, і в іншому випадку в результаті проводиться реляційна схема бази даних у третій нормальній формі.
Нарешті, третя можливість, яка ще вийшла межі дослідницьких і експериментальних проектів, - це безпосередня робота з базою даних у семантичної моделі, тобто. СУБД, що базуються на семантичних моделях даних. При цьому знову розглядаються два варіанти: забезпечення інтерфейсу користувача на основі семантичної моделі даних з автоматичним відображенням конструкцій в реляційну модель даних і пряма реалізація СУБД, заснована на будь-якій семантичній моделі даних. Найбільш близько до другого підходу знаходяться сучасні об'єктно-орієнтовані СУБД, моделі даних яких за багатьма параметрами близькі до семантичних моделей.
Семантична модель Entity-Relationship (Сутність-Зв'язок)
Однією з найпопулярніших семантичних моделей даних є модель "Сутність-Зв'язок" (часто її називають коротко ER-моделлю).
На використанні різновидів моделі ER-моделі заснована більшість сучасних підходів до проектування баз даних (головним чином реляційних). Модель була запропонована Ченом (Chen) у 1976 р. Моделювання предметної області базується на використанні графічних діаграм, що включають невелику кількість різнорідних компонентів. У зв'язку з наочністю представлення концептуальних схем баз даних ER-моделі набули широкого поширення в системах CASE, що підтримують автоматизоване проектування реляційних баз даних.
ER-модель не відноситься до моделей даних, використаних в існуючих мовах визначення даних, хоча і тісно пов'язана з деякими з них. Вона служить для обґрунтування того, які дані потрібно зберігати в системі бази даних. Модель об'єктів-зв'язків виконує функції моделювання об'єктів реального світу, де мають застосовуватися системи баз даних.
Термін «об'єкт» не піддається всеосяжному визначенню. Досить сказати, що об'єкт - це щось існуюче та помітне, тобто ми можемо відрізняти один об'єкт від іншого. Наприклад, кожен стілець є об'єкт. Об'єктами є також конкретна людина та автомобіль. Можна вважати об'єктом будь-якої мурахи, якщо є спосіб відрізняти його від інших мурах. В іншому випадку ми не сприймаємо мураху як об'єкт. Об'єктами можуть бути поняття вищого рівня, наприклад, павук, гризун, бабуїн і рослина в біологічній базі даних. Якщо не бути надто суворими, то до об'єктів можна віднести й такі поняття, як кохання та ненависть.
Група всіх таких об'єктів утворює набір об'єктів. Так, наборами об'єктів можуть бути всі люди, усі автомобілі, усі тварини, усі емоції.
Термін «подібні об'єкти» не є точно визначеним, і можна встановити безліч різних властивостей, які будуть визначати набір об'єктів. Один з ключових моментів у проектуванні моделі реального світу, що має відношення до конкретної бази даних, - це вибір наборів об'єктів.
Атрибути та ключі
Об'єкти мають властивості, які називаються атрибутами, які асоціюють деяке значення з домену значень даного атрибуту з кожним об'єктом у наборі об'єктів. Зазвичай домен атрибута є безліччю цілих чисел, дійсних чисел чи рядків літер, але ми виключаємо й інші типи значень. Наприклад, можна сказати, що об'єкти в наборі об'єктів «люди» мають такі атрибути, як ім'я (рядок літер), зростання (дійсне число) тощо.
Вибір відповідних атрибутів для наборів об'єктів є другим ключовим моментом у проектуванні моделі реального світу. Атрибут або безліч атрибутів, значення яких унікально ідентифікують кожен об'єкт у наборі об'єктів, називається ключем цього набору об'єктів. У принципі, кожен набір об'єктів має ключ, оскільки ми прийняли гіпотезу про те, що кожен об'єкт відрізнятиметься від інших. Але якщо для набору об'єктів ми вибрали сукупність атрибутів, що не містить ключа, відрізнити один об'єкт у наборі від іншого виявиться неможливим. Часто як атрибут, який є ключем, надається довільно вибраний послідовний номер. Наприклад, у наборі об'єктів, що включає лише громадян США, може використовуватися як ключ єдиний атрибут - «номер соціальної безпеки».
Можливі випадки, коли об'єкти в наборі різняться за атрибутами, а, по їх зв'язку з об'єктами іншого типу. Найбільш важливим видом "вбудованих" зв'язків (зв'язки, визначені користувачем, будуть описані пізніше) є зв'язок "є". Ми говоримо A є В і записуємо «A є B», якщо набір об'єктів В є узагальненням набору об'єктів A, або, що рівносильно, Є спеціальний вид В.
Розглянемо базу даних автомобілів із набором об'єктів МАРКИ, що мають атрибути ТИП та МОДЕЛЬ. Об'єктом у наборі МАРКИ є, наприклад, «Datsun-280». Ми могли б розглянути набір об'єктів АВТОМОБІЛІ з атрибутом СЕРІЙНИЙ-НОМЕР, який можна було б вважати ключем цього набору. Однак цілком ймовірно, що два типи автомобілів використовують одні й самі серійні номери. Щоб зробити об'єкти в наборі АВТОМОБІЛІ унікальними, нам знадобиться зв'язок між наборами АВТОМОБІЛІ та МАРКИ, що представляє той факт, що будь-який автомобіль має конкретну марку. Тоді кожен екземпляр з набору об'єктів АВТОМОБІЛІ однозначно визначатиметься за його СЕРІЙНОМУ-НОМЕРОМ та атрибутом ТИП пов'язаного з ним об'єкта з набору МАРКИ.
Зв'язок між наборами об'єктів є просто впорядкованим списком наборів об'єктів. Конкретний набір об'єктів може з'являтися у списку більше одного разу. Якщо є зв'язок REL між наборами об'єктів Е 1 , Е 2 , ..., E k , то передбачається, що існує безліч кортежів розмірності k, ім'я якого REL. Таке безліч ми називаємо набором зв'язків. Кожен кортеж (е 1 , е 2 , ..., е k) у множині REL має на увазі, що об'єкти е 1 , е 2 , ..., е k , де е i належить набору E i , знаходяться у зв'язку REL один з одним як група . Найбільш загальним, поза сумнівом, є випадок, коли k=2, але іноді списки складаються з трьох або більше наборів об'єктів.
Припустимо, ми маємо набір об'єктів ЛЮДИ та зв'язок Є-МАТЕРІЮ, список наборів об'єктів якої є ЛЮДИ, ЛЮДИ. Ми припускаємо, що набір зв'язків Є-МАТЕРІЮ включає всі пари (p i , р j), такі, що людина р i є матір'ю людини p j .
Семантична мережа - інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а дуги (ребра) задають відносини між ними. Об'єктами може бути поняття, події, властивості, процеси. Таким чином, семантична мережа є одним із способів представлення знань. У назві з'єднані терміни з двох наук: семантика в мовознавстві вивчає зміст одиниць мови, а мережа в математиці є різновидом графа - набору вершин, з'єднаних дугами (ребрами). У семантичній мережі роль вершин виконують поняття основи знань, а дуги (причому спрямовані) задають відносини з-поміж них. Отже, семантична мережу відбиває семантику предметної області як понять і відносин.
Ідея систематизації з урахуванням якихось семантичних відносин пропонувалася ще вченими ранньої науки. Прикладом цього може бути біологічна класифікація Карла Ліннея 1735 р. Якщо розглядати її як семантичну мережу, то даної класифікації використовується ставлення підмножини, сучасне AKO.
Прародителями сучасних семантичних мереж вважатимуться екзистенційні графи, запропоновані Чарльзом Пірсом 1909 р. Вони використовувалися уявлення логічних висловлювань як особливих діаграм. Пірс назвав цей спосіб «логікою майбутнього».
Важливим починанням у дослідженні мереж надали роботи німецького психолога Отто Зельця 1913 та 1922 рр. Вони організації структур понять і асоціацій, і навіть вивчення методів успадкування властивостей він використовував графи і семантичні відносини. Дослідники Дж. Андерсон (1973), Д. Норман (1975) та інші використовували ці роботи для моделювання людської пам'яті та інтелектуальних властивостей.
Комп'ютерні семантичні мережі були детально розроблені Річардом Річенсом в 1956 в рамках проекту Кембриджського центру вивчення мови з машинного перекладу. Процес машинного перекладу підрозділяється на 2 частини: переклад вихідного тексту в проміжну форму подання, та був ця проміжна форма транслюється потрібну мову. Такою проміжною формою якраз і були семантичні мережі.
Математика дозволяє описати більшість явищ у навколишньому світі у вигляді логічних висловлювань. Семантичні мережі виникли спроба візуалізації математичних формул. Основним уявленням для семантичної мережі є граф. Однак не варто забувати, що за графічним зображенням неодмінно стоїть суворий математичний запис, і що обидві ці форми не конкурують, а взаємодоповнюють.
Основною формою уявлення семантичної мережі є граф. Поняття семантичної мережі записуються у овалах чи прямокутниках і з'єднуються стрілками підписами - дугам. Це найбільш зручно сприймається людиною форма. Її недоліки виявляються, коли ми починаємо будувати складніші мережі чи намагаємося врахувати особливості природної мови.
Класифікація семантичних мереж:
Для всіх семантичних мереж справедливий поділ по арності та кількості типів відносин.
За кількістю типів, мережі можуть бути однорідними та неоднорідними. Однорідні мережі мають лише один тип відносин (стрілок), наприклад, такою є вищезгадана класифікація біологічних видів (з єдиним ставленням AKO). У неоднорідних мережах кількість типів відносин більше двох. Класичні ілюстрації даної моделі уявлення знань становлять саме такі мережі. Неоднорідні мережі становлять більший інтерес для практичних цілей, а й велику складність для дослідження.
По арності, типовими є мережі з бінарними відносинами (що пов'язують рівно два поняття). Бінарні відносини дійсно вони дуже прості і зручно виглядають на графі у вигляді стрілки між двох концептів. Крім того, вони відіграють виняткову роль у математиці. Насправді, проте, можуть знадобитися відносини, які пов'язують більше двох об'єктів - N-арные. При цьому виникає складність - як зобразити такий зв'язок на графі, щоб не заплутатися. Концептуальні графи знімають цю скруту, представляючи кожне відношення у вигляді окремого вузла.
Крім концептуальних графів існують інші модифікації семантичних мереж, це є ще однією основою для класифікації (за реалізацією).
