Без заголовка

В этой формулировке вы говорите очень близко к идеям Chris Partrige, чья фирма занимается как раз извлечением онтологии из уже разработанного софта: "чтобы предыдущая работа по формализации не пропадала".