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