ГОСТ Р 70846.3-2023 Национальная система пространственных данных. Онтология. Общие положения
3 Термины и определения
В настоящем стандарте применены термины по ГОСТ Р 70846.2, а также следующие термины с соответствующими определениями:
3.1
аксиома (axiom): Утверждение, которое считается истинным и служит предпосылкой для дальнейшего обоснования. |
[ГОСТ Р ИСО/МЭК 21838-1-2021, пункт 3.9] |
Примечание - В OWL 2 допускаются аксиомы о классах, свойствах объектов или свойствах данных, определениях типов данных, ключах, утверждениях [assertions, иногда также называемых фактами (facts)] и аннотациях.
3.2 аннотация (annotation): Краткая информация, ассоциированная с онтологией или ее компонентом и предназначенная для потребления человеком, а не для использования программным обеспечением, реализующим механизм рассуждений.
Примечание - Каждая аннотация состоит из свойства аннотации и значения аннотации.
3.3 анонимный индивид (anonymous individual): Индивид, доступный только в пределах онтологии, в которой он определен.
3.4
выражение (expression): Слово или группа слов либо соответствующие символы, которые могут использоваться в утверждении. Примечание - Выражения делятся на выражения на естественном языке и выражения на формальном языке. |
[ГОСТ Р ИСО/МЭК 21838-1-2021, пункт 3.5] |
3.5 выражение класса (class expression): Основанное на логике описание, состоящее из одного или нескольких выражений классов и выражений свойств (property expression) и представляющее множество индивидов (т.е. класс) путем формального определения условия(ий), предъявляемого(ых) к свойствам индивидов, принадлежащих классу.
Примечания
1 Индивиды, которые удовлетворяют указанным условиям, называются экземплярами выражения класса.