Изменения

На последней стадии построения онтологии для генерации аксиом по схемам аксиом (положительным и отрицательным примерам и фоновым знаниям) используется индуктивное логическое программирование (англ. ''Inductive Logic Programming, ILP'')<ref>[https://wikipedia.org/wiki/Inductive_logic_programming Wikipedia {{---}} Inductive Logic Programming]</ref> {{---}} раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез.