ГОСТ Р И С 018629-11 — 2010
3.1.2 консервативное определение (conservative definition): Определение, устанавливающее необ
ходимые и достаточные условия для полного соответствия термина, а также не позволяющее выводить
новые умозаключения из теории.
[ИСО18629-1:2004, статья 3.1.2)
3.1.3 основная теория (core theory): Набор предикат, функциональных символов и постоянных ве
личин. ассоциированных с некоторыми аксиомами и элементарными понятиями онтологии.
3.1.4 данные (data): Представление информации в формальном виде, подходящем для ее передачи,
интерпретации или обработки людьми или наэлектронно-вычислительных машинах.
(ИСО 10303-1]
3.1.5 установленная лексика (defined lexicon): Набор символов в нелогической лексике, обознача
ющих установленные понятия.
П р и м е ч а н и е — Установленные лексикой символы подразделяют на постоянные, функциональные и
относительные.
Пример
—
Термины с консервативными определениями.
(ИСО 18629-1:2004. статья 3.1.5]
3.1.6 расширение (extension): Расширение ядра PSL, содержащее дополнительные аксиомы.
П р и м е ч а н и е 1 — Ядро PSL представляет собой относительно простой набор аксиом, достаточный
для представления широкого круга основных процессов. Однако для представления более сложных процессов
требуются дополнительные ресурсы, отсутствующие в ядре PSL. Ядро PSL с каждым понятием следует использо
вать для описаний того или иного процесса, а для описания разнообразных модульных расширений следует
использовать расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой язык,
который соответствует требованиям к выразительности.
П р и м е ч а н и е 2 — Все расширения являются теориями ядра или дефинициальными расширениями.
[ИСО 18629-1:2004. статья 3.1.9]
3.1.7 грамматика (grammar): Правила совместного использования логических символов и словарных
терминовдля составления точно сформулированных аналитических выражений.
[И С 018629-1:2004. статья 3.1.10]
3.1.8 индивид (individual): Отдельный лотческий элементдомена, являющийся неделимым без по
тери идентичности.
Пример
—
Отдельная постоянная величина (константа)
—
это символ, используемый для ссылки
на какой-либо от дельный объект, представляющ ий логический эквивалент вимени»
в
обиходном языке.
В логике первого порядка аргументы предикатов (утверждений) всегда являю т ся от дельными кон
стантами.
П р и м е ч а н и е 1 — Дополнительная информация приведена в [5].
П р и м е ч а н и е 2 — Данный термин обычно используется в формальной логике.
П р и м е ч а н и е 3 — В логике первого порядка только индивидуумы являются отдельными константами.
3.1.9 информация (information): Факты, концепции или инструкции.
[ИСО 10303-1]
3.1.10 интерпретация (interpretation): Предметная область и присвоение истинных значений (TRUE
или FALSE) всем предложениям в теории.
П р и м е ч а н и е — Пример интерпретации приведен в приложении С.
3.1.11 язык (language): Сочетание лексики и грамматики.
[ИСО 18629-1:2004, статья 3.1.12]
3.1.12 лексика (lexicon). Набор символов и терминов.
П р и м е ч а н и е — Лексика состоит из логических (например, булевы выражения и квантификаторы) и
нелогических символов. В комплексе стандартов ИСО 18629 нелогмческая часть лексики состоит из выражений
(констант, функциональных символов и реляционных символов), необходимых для представления основных по
нятий онтологии.
[ИСО 18629-1:2004, статья 3.1.13]
3.1.13 линейное упорядочение (linier ordering): Совокупность элементов с бинарным отношением
междулюбыми двумя элементами, являющаяся переходной, мерефлексивной и ассиметрмчной.
Пример
—
Отношение «меньше чем
* е
математике: 3<5.
2