Критерии распознавания ролей в компьютерных ресурсах.

Дж. Сова (Sowa, 1988) определяет понятие-роль следующим образом: «Подтипы сущности могут быть двух видов: натуральные типы и ролевые типы, которые являются подтипами натуральных типов в конкретных образцах отношений (particular pattern of relationships). Человек, например, является натуральным типом, а учитель - это подтип человека в ситуации обучения». Сова предлагает простой тест для определения, является ли понятие ролью:

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

В соответствии с взглядом Дж. Совы роли ассоциируются с отношениями, но при этом они сущности, а не отношения.

В работе (Guarino, 1998) Н. Гуарино отмечает, что тест Совы для различения типов и ролей недостаточен: например, нечто может быть охарактеризовано как автомобиль, только если оно имеет, по крайней мере, колеса и мотор, но автомобиль является типом, а не ролью. В работе (Guarino, Welty, 2002) условие, сформулированное Совой, заменяется на условие так называемой внешней онтологической зависимости:

Понятие CI называется внешне зависимым от понятия С2, если для всех экземпляров С1 должен существовать экземпляр С2, который не является частью или материалом экземпляра С1.

Авторы работы (Masolo и др., 2004) замечают, что точнее это условие можно сформулировать так:

Экземпляр С2 не должен выть внутренним для экземпляра CI, то есть не должен выть частью, или материалом, или качеством (цвет).

Например, понятие сын является внешне зависимым от понятия родитель, поскольку существует только в рамках семьи по отношению к своим родителям. С другой стороны, автомобиль не является внешне зависимым от какой-либо сущности, поскольку требует существования мотора, который является частью автомобиля. Таким образом, данное условие формализует определение ролей, данное Дж. Совой.

Вместе с тем, на основе такого определения в класс ролей попадают еще дополнительные сущности, такие как качества: =цвет=, =вес=, =скорость=. Например, если синий - это цвет, то обязательно существует хотя бы один объект, цвет которого синий, причем этот объект не является частью цвета. Понятие цвета поэтому является зависимым, но не кажется подходящим к понятию роли. Поэтому в работе (Guarino, Welty, 2002) вводится еще одно условие, которое вместе с условием внешней зависимости дает лучшее определение понятию «роль»:

Понятие С является семантически жестким (rigid), если любой экземпляр понятия С остается экземпляром С в течение всего своего существования.

Например, щенок перестает быть щенком, все еще оставаясь собакой, поэтому собака и животное - это жесткие сущности, а щенок не является жестким понятием.

Таким образом, понятие С называется ролью, если оно является внешне зависимым и не является семантически жестким (Guarino, Welty, 2002).

В соответствии с этим определением качества не могут быть ролями, поскольку они являются семантически жесткими: если цвет прекратит быть цветом, то он станет чем-то еще, потеряет свою идентичность.

Таким образом, оба условия вносят вклад в определение роли. Первое условие описывает, что сущность-роль должна рассматриваться в рамках чего-либо  объемлющего,  что  в  определении  Дж.  Совы  называлось particular pattern of relationships, второе условие помогает формализовать условие конкретности, особенности, упоминаемое в определении Дж. Совы (Sowa, 1998, 2000).

Введенные понятия онтологической зависимости и семантической жесткости помогают формализовать понятие натурального типа.

Понятие С называется натуральным типом, если оно существенно независимо и семантически жестко.

Таким образом, собака - это пример натурального типа. Цвет не является ни ролью, ни натуральным типом: цвет - семантически жесткий, но является онтологически зависимым. Щенок или хромая собака также не являются ни натуральным типом, ни ролью, поскольку они являются независимыми от внешних сущностей и являются семантически жесткими.