ГОСТ Р ИСО 18629-12—2010
3.1.12 язык (language): Сочетаниелексики играмматики.
(ИС0 18629-1:2004. статья 3.1.12)
3.1.13 лексика (lexicon): Набор символов итерминов.
П р и м е ч а н и е — Лексика состоит из логических (например. Булевы выражения и квантификаторы) и
нелогимвских символов. В комплексе стандартов ИСО 18629 нелогическая часть лексики состоит из выражений
(констант, функциональных символов и реляционных символов), необходимых для представления основных по
нятий онтологии.
(ИС0 18629-1:2004. статья 3.1.13]
3.1.14 производство (manufacturing): Функция или действие, предусматривающие перевод или
превращение материала из сырья или заготовки в завершенноесостояние.
(ИС015531-1:2004. статья 3.6.22)
3.1.15 производственный процесс (manufacturing process): Структурированный комплекс видов
деятельности или работ, выполняемыхс материалом для его перевода из сырья илизаготовки в завершен
ное состояние.
П р и м е ч а н и е — Производственные процессы могут быть представлены в виде технологической схемы
процесса, схемы движения продукта, в виде табличной схемы или схемы фиксированного расположения. К пла
нируемым производственным процессам могут относиться изготовление продукта для складирования, на заказ и
для сборки на заказ и т. д., основанные на стратегическом использовании и размещении материально-произ
водственных запасов.
(ИСО 15531-1:2004. статья 3.6.25)
3.1.16 модель (model): Сочетание набора элементов и истинного назначения, удовлетворяющее всем
правильно построенным формулировкамв теории.
П р и м е ч а н и е 1— В настоящем стандарте определение термина «модель» отличается от используемо
го в научной и другой литературе: если предложение является верным в определенной интерпретации, то можно
сказать, что интерпретация — это модель предложения. Виды семантик, представленных в настоящем стандар
те. часто называют теоретически смоделированными семантиками.
П р и м е ч а н и е 2 — Модельобычно представляют в виде совокупности дополнительных структур (частич
но упорядоченных, в качестве структурного или векторного пространства). В этом случае модель определяет
значения для терминологии и понятия истины для предложений языка в условиях данной модели. Задавая
модель, основной набор аксиом математических структур, используемый в наборе аксиом, используют как осно
ву для определения понятий, представленных в терминах языка, и их логических взаимосвязей, в результате чего
набор моделей создает формальные семантики онтологии.
(ИС0 18629-1:2004, статья 3.1.16)
3.1.17 онтология (ontology): Лексика специализированной терминологии, дополненная необходимой
спецификацией значений терминов.
П р и м е ч а н и е 1— Онтология — это структурированный набор относительных терминов, представленный
с описанием значений терминов на формальном языке. Описание значения объясняет, как и почему термины
соотносятся, и определяет условия сегментирования и структурирования набора терминов.
П р и м е ч а н и е 2 — Основополагающим компонентом языка технологических спецификаций ИСО 18629
является онтология. Примитивные концепции в онтологии, соответствующей определению ИСО 18629, достаточ ны
для описания основных производственных и инженерных процессов, а также бизнес-процессов.
П р и м е ч а н и е 3 — Основное внимание онтологии направлено не только на термины, но и на их значения.
Произвольный набор терминов включен в онтологию, но эти термины могут применяться только в том случае,
если их значения согласованы. Такие предполагаемые семантики терминов могут быть утверждены и использо
ваны.
П р и м е ч а н и е 4 — Любой термин, используемый без точного определения, может быть причиной
неясности и путаницы. Сложность для онтологии заключается в том. что структура нуждается в создании терми
нов. имеющих точное значение. Для онтологии, соответствующей определению ИСО 18629, необходимо предос
тавить математически строгую характеристику информационного процесса, а также четкое выражение основных
логических свойств этой информации на языке, указанном а ИСО 18629.
3