Без заголовка
Может я чего где пропустил, но Вы пока только говорили о "почитать про разнообразие онтологий", на что я отвечал, что ни 1 онтология не обойдётся без таксономии.
А в отношении единого языка описания - так а для чего Вы занимаетесь стандартом (единообразием)? Теоретико-множественный язык - это наведение порядка уже на уровне конкретного стандарта. Разве Вы не за это? Вон, требуете от собеседника использование единой терминологии. Вам предлагают 1 из ваирантов терминологии. Повторение - для надёжности (критики данного подхода Вы пока не высказывали).