Без заголовка
Логические операции потому и дорогие, что из распределенных представлений должно сформироваться символьное. Причем, не единственным образом.
Мне думается, онтологии - это некая "решетка", натянутая на поверхность, где между ребрами существуют довольно жесткие связи, поэтому если выбираешь один узел, то остальные не могут лечь произвольно.