ГОСТ Р ИСО 18629-13-2011
- это модель предложения. Виды семантик, представленных в настоящем стандарте,
часто называют теоретически смоделированными семантиками.
П р и м е ч а н и е2 - Модель обычно представляют в виде совокупности
дополнительных структур (частично упорядоченных, в качестве структурного или
векторного пространства).В этом случаемодель определяет значения для
терминологии и понятия истины для предложений языка в условиях данной модели.
Задавая модель, основной набор аксиом математических структур, используемый в
наборе аксиом, используют как основу для определения понятий, представленных в
терминах языка, и их логических взаимосвязей, в результате чего набор моделей
создает формальные семантики онтологии.
[ИСО 18629-1]
3.1.15 мономорфизм (monomorphism): Отображение «один к одному»
между множествами, сохраняющее некоторые соотношения на элементах
множества.
3.1.16 онтология (ontology): Лексика специализированной терминологии,
дополненная необходимой спецификацией значений терминов.
П р и м е ч а н и е1 - Структурированный набор относительных терминов,
представленный с описанием значений терминов на формальном языке. Описание
значения объясняет, как и почему термины соотносятся, и определяет условия
сегментирования и структурирования набора терминов.
П р и м е ч а н и е2-Основополагающимкомпонентомязыка
технологических спецификацийИСО18629 является онтология.Примитивные
концепции в онтологии, соответствующей определению ИСО 18629, достаточны для
описания основных производственных, инженерных и бизнес - процессов.
П р и м е ч а н и е3 - Основное внимание онтологии направлено не только на
термины, но и на их значения. Произвольный набор терминов включен в онтологию, но
эти термины могут приниматься только в том случае, если их значения согласованы.
Такие предполагаемые семантики терминов могут быть утверждены и использованы.
П р и м е ч а н и е4 - Любой термин, используемый без точного определения,
может быть причиной неясности и путаницы. Сложность для онтологии в том, что
структура нуждается в создании терминов, имеющих точное значение. Для онтологии,
соответствующей определению ИСО 18629, необходимо предоставить математически
строгую характеристику информационного процесса, а также четкое выражение
основных логических свойств этой информации на языке, указанном в ИСО 18629.
5