ГОСТ Р ИСО 18629-13-2011
дефинициональными расширениями.
[ИСО 18629-1]
3.1.9 грамматика (grammar): Правила совместного использования
логическихсимволовисловарныхтерминов длясоставленияточно
сформулированных аналитических выражений.
[ИСО 18629-1]
3.1.10гомоморфизм(homomorphism):Отображениемежду
множествами, сохраняющее некоторые соотношения на элементах множества.
3.1.11интерпретация(interpretation):Совокупностьдискурсови
присвоение значений истинности (TRUE или FALSE) всем положениям теории.
Примечание - Пример интерпретации см. в приложении В.
[ИСО 18629-11]
3.1.12 язык (language): Сочетание лексики и грамматики.
[ИСО 18629-1]
3.1.13 лексика (lexicon): Набор символов и терминов.
Примечание - Лексика состоит из логических (например, Булевы выражения
и квантификаторы) и нелогических символов. В комплексе стандартов ИСО 18629
нелогическая часть лексики состоит из выражений (констант, функциональных
символов и реляционных символов), необходимых для представления основных
понятий онтологии.
[ИСО 18629-1]
3.1.14 модель (model): Сочетание набора элементов и истинного
назначения, удовлетворяющее всем правильно построенным формулировкам в
теории.
П р и м е ч а н и е 1 - В настоящем стандарте определение термина «модель»
отличается от используемого в научной и другой литературе: если предложение
является верным в определенной интерпретации, то можно сказать, что интерпретация
4