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

Я думаю, что это неподъемная вычислительно задача. Онтология всего мира едина, и ежели у вас появился маааахонький факт, то вам нужно будет при таком механизме провести глобальное вычисление по всей онтологии, обойти всё дерево Thing. Мне кажется, что при постановке задачи нужно четко разделять "онтологизирование в большом" и "онтологизирование в малом", то есть думать про модуляризацию вычислений. Это само по себе проблема, ибо вычисление, по идее, идет в федерации библиотек справочных данных (которые "типы и константы"), но может быть и федерация несправочных (т.е. инстансов) данных -- и как вычисление идет там, понятия не имею. Я пока для себя думаю, что как "апплеты" есть "онтолеты". Всё сложно...