ГОСТ Р 59798—2021
ГОСТ Р 59791 Информационные технологии. Общая логика (CL). Основы семейства языков, ос
нованных на логике
П р и м е ч а н и е — При пользовании настоящим стандартом целесообразно проверить действие ссылочных
стандартов в информационной системе общего пользования — на официальном сайте Федерального агентства по
техническому регулированию и метрологии в сети Интернет или по ежегодному информационному указателю «На
циональные стандарты», который опубликован по состоянию на 1 января текущего года, и по выпускам ежемесяч
ного информационного указателя «Национальные стандарты» за текущий год. Если заменен ссылочный стандарт, на
который дана недатированная ссылка, то рекомендуется использовать действующую версию этого стандарта с
учетом всех внесенных в данную версию изменений. Если заменен ссылочный стандарт, на который дана дати
рованная ссылка, то рекомендуется использовать версию этого стандарта с указанным выше годом утверждения
(принятия). Если после утверждения настоящего стандарта в ссылочный стандарт, на который дана датированная
ссылка, внесено изменение, затрагивающее положение, на которое дана ссылка, то это положение рекомендуется
применять без учета данного изменения. Если ссылочный стандарт отменен без замены, то положение, в котором
дана ссылка на него, рекомендуется применять в части, не затрагивающей эту ссылку.
3 Термины и определения
В настоящем стандарте применены термины по ГОСТ Р ИСО/МЭК 21838-1, а также следующие
термины с соответствующими определениями:
П р и м е ч а н и е— Перечисленные далее термины и определения, наряду с определениями в ГОСТ Р
ИСО/МЭК 21838-1, образуют часть метасловаря, используемого для описания BFO 2020 в настоящем стандарте, за
исключением того, что в BFO термины «сущность» и «объект» не являются синонимами. Словарь самой BFO 2020
приведен в А.1 приложения А.
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).
3.5 определенный класс (defined class): Набор (3.4), члены которого определяются путем зада
ния ограничения на одну или несколько универсалий (3.2), не являющихся расширением (3.3) какой-
либо универсалии (3.2).
Пример
—
Некурящий (человек, который не курит); домашнее животное (животное, которое со
держится для общения или удовольствия); залогодержатель (лицо, выдавшее ипотечный заем); опера
тор токарного станка (человек, исполняющий профессиональные обязанности посредством выполне
ния работы на токарном станке); цель (целевой объект или процесс).
П р и м е ч а н и е — В сообществе OWL 2 выражение «определенный класс» иногда неформально исполь
зуется для обозначения тех классов в онтологии, в которых предусмотрены как необходимые, так и достаточные
условия, в отличие от «первичных классов», для которых предусмотрены только необходимые условия.
2