Расширение реляционной модели для лучшего отражения семантики


Безусловное обобщение


Другим важным измерением для формирования более крупных смысловых единиц является измерение обобщения. Оно привлекает большое внимание в контексте семантических сетей [18, 31, 35]. Мы рассмотрим их здесь в контексте n-арных отношений. Смит и Смит (Smith) определили обобщение (generalization) как абстракцию, при которой множество схожих объектов рассматривается как родовой объект. Это понятие имеет два аспекта: инстанциацию (instantiation) и подтипизацию. Оба они являются некоторыми формами специализации (specialization), а их инверсии – формами обобщения. Экстенсиональным двойником инстанциации является принадлежность множеству, а подтипизации – включение множества. Как показывает рис. 7, чтобы получить конкретных инженеров из родового объекта (или типа) инженер, следует применить инстанциацию. Каждый из типов инженер, секретарь и водитель грузовика

являются подтипами типа служащий. Тип сущностей e вместе с его непосредственными подтипами, их подтипами и т. д. образуют иерархию обобщения e. Эта иерархия является еще одним молекулярным типом.

Рис. 7. Безусловное обобщение

Почему нам следует разделять членов иерархии обобщения на различные типы сущностей? Мы делаем это только в том случае, если о разных членах иерархии должны регистрироваться разные виды фактов. Если бы эти типы не были представлялись раздельно, мы имели бы единое большое отношение с многими вхождениями специального неопределенного значения, интерпретируемого как "значение неприменимо". С иерархией обобщения ассоциируется правило наследования свойств (property inheritance rule): к любому подтипу e применимы все свойства его родительского(-их) типа(-ов). Например, все свойства служащих вообще применимы к служащим-продавцам в частности.

Введенные выше E-отношения поддерживают обобщение по членству. Для поддержки обобщения по включению мы вводим отношение безусловного обобщения по включению (unconditional gen inclusion relation, или UGI-отношение) – тернарное отношение, представляющее помеченный граф.




Начало  Назад  Вперед



Книжный магазин