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