ГОСТ Р ИСО 13584-32—2012
х, - Class_Pt (Р1, =v1, P2| =v2
....
Pn, =vn)
Class_
Р,
в
О,, Р1,
€
Or
,
Р2,
с
Ot(
•••■
Рп,
в
О)
л
Р1,
е applicable_properties;(Class_P;) л
Р2,
е applicable_properties,(Class_P,)
л ... л Pn, е applicable_properties,(Class_P,)
л v1 с dom ain,(Pit) л v2 e domain,(P2,) л... л vn
g
domain,(Pn,)
Множество всех характеристик x, которое соответствует словарю О, и называется «семейством»
Pop, в словаре О,, определяется следующим образом.
Pop- = all xt such that x, conform s to 0 ,
Мы говорим, что:
— семейство Pop, и х, соответствуют словарю О,, и
—словарь О. интерпретирует семейство Pop, и свойство х,.
Эти определения позволяют классифицировать различные изменения в словаре-справочнике.
Первый вид изменений в словаре - это те изменения, которые полностью не изменяют множество
характеристик, которые могут определяться с помощью данного словаря, т.е. семейства словаря. Это
может быть, например, в случае исправления опечаток, при введении нового перевода или при
определении класса, который был переработан для уточнения его содержания без изменения смысла. В
этих случаях семейство Pop, в словаре О, в момент времени = t становится идентичным семейству Pop,.,
словаря О,., в момент времени = t+1. Последнее означает, что:
—любая характеристика х,. определенная в словаре О,, также соответствует словарю О,.,.
поэтому словарь О,., является обратно-совместимым со словарем О,, поскольку это позволяет
интерпретировать все экземпляры класса; более того.
— любая характеристика х,ч. определенная в словаре О,.,, также соответствует словарю О,,
поэтому словарь О.., также является обратно-совместимым со словарем О,, поскольку словарь О,
позволяет интерпретировать все экземпляры класса в словаре О,.,.
В случае изменений, для которых существует прямая и обратная совместимость, нет
необходимости в регистрации, если характеристика х была создана в момент времени = t или = t+1.
поэтому это изменение не потребует изменения номеров версий, которые уже были закреплены за
различными онтологическими понятиями в момент времени = t. Указанное изменение называется
«изменением редакции» и будет отслеживаться путем увеличения значения XML-элемента revision
соответствующего онтологического понятия, которое изменяется в случае изменения, влияющего на
описание на нескольких языках, и/или одного или
translation_revision, соответствующего другим языкам, на
несколькихзначений
которые онтологическое
XML-элемента
понятие было
переведено, если изменение оказывает влияние на описание на соответствующем языке.
Примечание 4 — Номера редакций не регистрируются в идентификаторах онтологических понятий.
Характеристика, использующая онтологические понятия, будет позволять использовать словари О, и О,., для
интерпретации.
Примечание 5 — Каждое онтологическое понятие обладает XML-элементом редакции, а в случае его
перевода - некоторой административной информацией, которая определяет как элемент sourcejanguage языка, на
котором онтологическое понятие первоначально было определено, так и элемент trans!ation_revision для
каждого перевода.
Второй вид изменений в словаре - это те изменения, которые будут повышать его качество и
позволять определять новые характеристики. Вводятся новые классы, свойства и их значения в
соответствующие области значений. Для обеспечения принципа онтологической непрерывности никакой
класс, свойство или значение не должны удаляться. Словарь-справочник О,*,, определенный после
внесения изменений, должен оставаться способным к интерпретации семейства Pop,. Словарь О,.,
является еще обратно-совместимым со словарем О-, и позволяющим интерпретировать все
экземпляры класса, однако он не будет оставаться прямо совместимым из-за некоторых характеристик,
которые соответствуют словарю О,.,, не соответствующему словарю О,.
В случае изменений, для которых существует лишь обратная совместимость, характеристика х.
которая была создана в момент времени = t+1 и зависит от измененных онтологических понятий, должна
четко выражаться в своем представлении. Подобное изменение называется «изменением версии» и
126