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

Я провёл некоторые эксперименты. В принципе, эти самые инвариантные соотношения между различными темпоральными частями, записанные в терминах логики предикатов, достаточно легко компилировать правила для прямого логического. Например, соотношение в пункте №3 моего примера в предыдущем комментарии ("любая операция по банковскому счёту связывает две последовательные темпоральные части банковского счёта, при этом сумма операции и остаток банковского счёта до операции вместе равны остатку банковского счёта после операции") достаточно просто автоматически преобразуется в правило вывода "появление новой операции на банковском счету приводит к появлению новой темпоральной части этого банковского счёта". Прямой вывод по таким правилам с помощью вариаций алгоритма RETE имеет очень хорошие скоростные характеристики, так как меняет скорость на память, и при этом он отлично масштабируется на огромное число правил вывода. Однако для онтологий с большим числом фактов это не подходит, поэтому может быть и не RETE, а что-то гибридное -- надо смотреть по сторонам. Собственно, какая-то картинка сложилась, наверное можно написать виденье в сообщество dot15926, чтобы было о чём подумать. Однако вопрос к вам как к координатору усилий по проекту: стоит ли сейчас тратить время на дальнейшую проработку этой темы или лучше вернуться к текущим базовым вопросам про федерации и версионирование?