ГОСТ Р 59798-2021 Информационные технологии (ИТ). Онтологии высшего уровня (TLO). Часть 2. Базисная формальная онтология (BFO)

     3 Термины и определения

В настоящем стандарте применены термины по ГОСТ Р ИСО/МЭК 21838-1, а также следующие термины с соответствующими определениями:

Примечание - Перечисленные далее термины и определения, наряду с определениями в ГОСТ Р ИСО/МЭК 21838-1, образуют часть метасловаря, используемого для описания BFO 2020 в настоящем стандарте, за исключением того, что в BFO термины "сущность" и "объект" не являются синонимами. Словарь самой BFO 2020 приведен в А.1 приложения A.

3.1 примитив (primitive): Выражение, для которого невозможно сформулировать нецикличное определение.

3.2 универсальный тип (universal type): Сущность (3.1) с неограниченным количеством экземпляров (3.6).

Пример - Электрон, молекула, клетка, планета, взрыв, автомобиль, час, правила дорожного движения, организация, договор ипотеки, сообщение электронной почты.

Примечание - Ссылки на универсалии используются при формулировании утверждений в области естествознания и аналогичных общих утверждений в технических руководствах, протоколах экспериментов, юридических или административных документах.

3.3 расширение (extension): Набор (3.4) экземпляров универсалии (3.2).

Примечание - В OWL каждый класс связан с расширением, которое представляет собой набор экземпляров класса. В соответствии с [1] (от 2004 г.): "Класс имеет интенсиональное значение (лежащее в основе понятие), которое связано с расширением класса, но не равнозначно ему. Таким образом, два класса могут иметь одно и то же расширение, но быть при этом разными классами".

3.4 набор (collection): Группа партикулярий.

Примечания

1 Партикулярии в наборе называются членами этого набора.

2 Термин "набор" следует понимать как нечто, допускающее изменением состава его членов с течением времени (см. ГОСТ Р ИСО/МЭК 21838-1, В.4:2).