При разработке и при использовании любой онтологии необходимо определиться с перечнем используемых отношений. На сегодняшний день нет общепринятого полного перечня отношений за исключением десятка общезначимых отношений (например, A_Kind_Of, part_of, have_value, have_structure и др.). Тем не менее, всю совокупность отношений в онтологии стоит разделить на несколько подмножеств.
R = {R1,…, Rm}, где.
R1 — общезначимые отношения (см. выше), R2 — арифметические, R3 — логические (И, ИЛИ, НЕ и др.) и т. д. и Rk — предметные для данного приложения отношения. Общезначимые отношения) Свойства некоторых общезначимых отношений представлены в [7]. ) носят в основном декларативный характер: они служат для нахождения путей поиска требуемых знаний. Арифметические, логические, функциональные и предметные отношения задаются как декларативно, так и операционально. Последнее означает, что с именем данного отношения связана соответствующая процедура, с помощью которой осуществляется интерпретация высказывания в реальной или «виртуальной» среде. Например, отношение соприкасается_в_концевой_точке предполагает, что существует процедура, с помощью которой на входном изображении осуществляется поиск двух отрезков прямых, соприкасающихся друг с другом концевыми точками. К предметным отношениям онтологии «Планиметрия» также относятся отношения: образует, параллельно, перпендикулярно, вычисляется_по_формуле, совпадает, делит_пополам, исходит_из, является_внутренней_точкой и т. д.
Отметим, что множество R является открытым — в него можно добавлять необходимые подмножества.
