Онтология решателя задачи