Возможные критерии проверки правильности установления отношения класс-подкласс в онтологиях

Критерии проверки правильности установления отношений класс-подкласс связаны с проверкой выполнения свойств транзитивности и наследования.

На проверке транзитивности отношения класс-подкласс основано следующее правило:

Нижестоящее понятые и вышестоящее понятие должны относиться к одному и тому же наиболее общему семантическому классу, такому как =действие=, =свойство=, =объект— и т. п.

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

В качестве реальной ситуации, при которой неправильный семантический класс помог выявить неточно установленное родовидовое отношение, приведем следующий пример. При установлении отношений в тезаурусе РуТез первоначально была установлена следующая цепочка отношений от подкласса к классу:

РЕКА - ВОДОЕМ- ВОДНЫЙ ОБЪЕКТ- ВОДА - ВЕЩЕСТВО,в результате чего получилось, что все конкретные реки относятся к семантическому классу ВЕЩЕСТВО, что неправильно. В этой цепочке наиболее проблематичным является отношение ВОДНЫЙ ОБЪЕКТ - ВОДА, изменение которого на другой тип отношения устранит возникшую проблему.

Второй тип критериев проверки правильности установления отношений класс-подкласс связан с проверкой свойства наследования. Проверка может носить частный характер, быть связанной именно с конкретной парой понятий. Например, в словарях изюм определяется как «сушеные ягоды винограда». Следует ли из этого определения, что нужно установить отношение подкласс-класс между понятиями ИЗЮМ к ЯГОДА ВИНОГРАДА? С точки зрения наследования свойств ответ на этот вопрос должен быть отрицательным, поскольку изюм не несет многих свойств ягод как плодов некоторого растения: он не растет, не зреет, его не собирают.

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

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

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

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