P> Мне показалось, что вопрос не о том почему программирование не наука

Я считаю, что программирование — наука, а
"они просто переводчики" — это шаблон мышления, "штамп", чтобы денег не платить (и к защитам не допускать).

P> почему разработка онтологии — наука?

И это тоже. С чего бы простая копипаста с разных мест в одно становится наукой?