* Association rule mining (ARM)
====Формирование аксиом=Индуктивное логическое программирование===
На следующем шаге формируются аксиомы при помощи Индуктивного Логического Программирования{{Определение|definition='''Индуктивное логическое программирование'''<ref>[https://wikipedia.org/wiki/Inductive_logic_programming Wikipedia {{---}} Inductive Logic Programming]</ref> (англ. ''Inductive Logic Programming, ILP'') {{---}} раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез. }} В онтологии ILP используется на последней стадии пирога обучения для генерации аксиом по схамам аксиом (аксиомам как с полжительными, так и с отрицательными примерами).
====Формирование онтологии====
