Виды дуг

Дуги часто называют семантическими отношениями.

Лингвистические отношения – делятся в свою очередь на падежный и атрибутивный.

Падежные отношения могут являться следующими:

1) агент; отношение между событием и тем, что или кто его вызывает;

2) объект; отношение между событием и тем, над чем производиться действие; (гайка, завинчивание)

3) условие; отношения, указывающие на логическую зависимость между событиями;

4) инструмент; отношение между событием и объектом, с помощью которого оно совершается.

Атрибутивные отношения – это отношения между объектом и свойством (цвет, форма, размер объекта)

Логические отношения – это используемые в осуществлении высказывания.

(отрицание, НЕ)

^ (конъюнкция, И)

(дизъюнкция, ИЛИ)

→ (импликация, ЕСЛИ-ТО)

Квантифицированные отношения – это логические квантеры общности и существа по ним.

Теоретико-множественные отношения – это отношения между элементом множества (подмножества) и множества, т.е. это отношение части к целому. Этот тип отношения используется дл хранения в базе знаний сложных иерархических понятий.

Для всех семантических сетей справедливо разделение по арности и количеству типов отношения.

По количеству типов отношений сети могут быть: однородные и неоднородные. Однородные сети обладают только одним типом отношения. В неоднородных сетях количество типов отношения больше либо равно двум.

По арности отношения выделяются на бинарные (которые связывают два понятия) и n-арные.

Семантические отношения можно разделить на: иерархические и вспомогательные.

Наиболее часто возникают потребности в описании отношениями между элементами, множествами и частями объектов.

Отношения между объектом и множеством обозначающем, что объект принадлежит этому множеству, называется отношением классификации (ISA).

Связь ISA предполагает, что свойства объекта наследуются от множества. Обратное к ISA отношение используется для обозначения примеров. Отношение между надмножество и подмножеством называется AKO, альтернативное название subsetof, или подмножество. Это отношение определяет, что каждый элемент первого множества входит и во второе, а так же логическую связь между самими подмножествами.

Объект состоит из нескольких частей, важным отношением является haspart, описывающий часть или целые объекты (отношение, меранимии, т.е. отношением между части и целым).

Мераним – это объект, являющийся часть для другого. Двигатель – это мераним для другого.

Холоним – это объект, который включает в себя другой.