Без заголовка

Надо уметь это хорошо связывать. Можно представить отношения как: 1. Слабые. В пределе - не накладывающие ограничений (в частности, дизъюнкций) и правил вывода. 2. Сильные. Имеющие такие правила. Но, при этом, _усиливать_ отношения в различных контекстах (микротеориях Cyc, онтолетах, ...). Например, чуть более слабое отношение для описания физического феномена и два контекста (две гипотезы), где оно усиливается, причём в каждом по разному и несовместимо между собой. Для описания "Кота в сапогах" (персонажа) подходят предельно слабые отношения. Но исследователь, собирающий статистику по очеловечеванию образов животных в литературе 17 века, может усилить их своими правилами вывода. Аналогичная ситуация возможна в практике работы с PraxOS. Когда несколько стандартов (в оригинале) и их интеграция (внутри PraxOS) содержат для описания какого-либо феномена сильные отношения rel_stdA, rel_stdB и rel_PraxOS. Которые несовместимы по правилам вывода, но могут считаться специализациями слабого отношения rel_lite.