Принципы описания родовидовых отношений

Отношения выше-ниже, устанавливаемые в информационно-поисковых тезаурусах, не обязательно являются таксономическими отношениями в смысле онтологического моделирования. Например, в некоторых тезаурусах (AGROVOC, EUROVOC) в качестве отношений выше-ниже могут записываться отношения часть-целое.

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

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

-        видовое понятие должно относиться  к тому же семантическому классу, что и родовое понятие,

-        видовое понятие должно наследовать основные свойства родового понятия.

Помимо отношений класс-подкласс такими же свойствами обладают отношения между ролевым понятием и понятием-классом в тех случаях, когда экземпляры только этого понятия-класса могут выступать в данной роли (РАБОТНИК- ЧЕЛОВЕК).

Другим типом отношений, обладающим такими свойствами, является отношение между фазой какой-либо физической сущности и собственно этой сущностью (ЩЕНОК- СОБАКА).

Таким образом, у отношения выше-ниже мы предполагаем свойства несимметричности и транзитивности:

выше(Х,У) ^ выше (Y,Z) -> выше(Х,Z)

ниже (X,Y) ^ ниже (Y,Z) -> ниже(Х,Z)

выше (X,Y) -> ниже (Y,X)