ГОСТ Р 56271-2014
ClassOfldentification(V11)
hasPaUem(V11;+40)
hasRepresented(V11; V10)
ArithmeticNumber(V
8
)
ArithmeticNumber(V 10)
Property(V12)
Property(V13)
LowerBoundOfPropertyRange(V14)
hasClassified(V14: V12)
hasClassifier(V14;W}
UpperBoundOfPropertyRange(V15)
hasCIassified(V15: V13)
hasClassifier(V 15;W)
PropertyQuantifrcation(V16)
haslnpul(V16; V12)
hasResult(V16: V
8
)
Classification(V17)
hasClassified(V17; V16)
hasClassifier(V17; Celsius)
ProperlyQuantification(V 18)
haslnput(V18: V13)
hasResult(V18: V
10
)
Classirication(V19)
hasClassified(V19: V18)
hasClassifier(V19; Celsius)
F.4 Проверка на соответствие
Множество данных, полученное путем расширения и задания значений (F.3) можно проверить на соответ
ствие ИСО 15926-2. Для этого множество данных интерпретируется как элементарные утверждения, расширяю
щие аксиоматизацию ИСО 15926-2 (приложение В). Результирующее множество аксиом можно проверить с по
мощью программы автоматического доказательства теорем и базовой логики первого порядка, а также с помощью
более специализированной дедуктивной программы. Примеры последней включают программы автоматического
доказательства с помощьюописательной логики.
84