Сохранение медицинских онтологий с помощью формальной логики: история предостережений и надежд для классического ИИ