Реферат: Представление и использование знаний об объектах

Свойства этих отношений

1. PART OF и SUP обладают свойством транзитивности:

t1 SUP t2; t2 SUP t3

t1 SUP t3

доцент SUP SUP сотрудник

преподаватель

рис.10

доцент SUP преподаватель ; преподаватель SUP сотрудник

доцент SUP сотрудник

Для отношения INS это свойство не выполняется:

2. t1 INS t2; t2 INS t3; tn-1 INS tn В графе отношения INS нет

неверно, что tn INS t1

циклов

3. t1 SUP t2; t2 INS t3

t1 INS t3

лаборант SUP сотрудник лаборатории ; сотрудник лаборатории INS лаборатория

лаборант INS лаборатория

лаборатория

INS

сотрудник INS

SUP

лаборант

рис.11

4. name (O) ISA t1 ; t1 SUP t2

name (O) ISA t2

Москва ISA город ; город SUP населенный пункт

Москва ISA населенный пункт

Представление типов объектов

Конечное множество троек вида (t, ni, ti);