ГОСТ Р 59798—2021
- определения в синтаксисе CL для бинарных отношений OWL 2, перечисленных в А.1.3 приложения А, соз
даны по следующему шаблону: Ь continuant part of at some time с означает, что для определенного момента
времени t: существует при Ь, и Ьявляется континуантной частью с в момент t\
- результаты 1 и 2, представленные в А.1.3 приложения А, включены в аксиоматизацию CL;
- продемонстрировано, что аксиоматизация CL непротиворечива (см. В.З приложения В).
В.5 Демонстрация степени охвата BFO
В.5.1 Общие положения
В этом приложении содержится набор ответов на вопросы, перечисленные в ГОСТ Р ИСО/МЭК 21838-1,
4.4.6, с целью демонстрации степени охвата BFO.
В.5.2 Пространство и время
BFO подразделяется на ветви «континуантов» и «оккурентов», то есть распознает обе сущности как сохра
няющиеся, например, спроектированные артефакты и их функции, а также возникающие сущности, например,
процессы, которые возникают, когда спроектированные артефакты выполняют свои функции.
BFO включает в себя отношения между независимыми континуантами и пространственными областями (0-,
1-, 2-, 3- и 4-мерными), а также между процессами и временными областями (0- и 1-мерными) или пространствен
но-временными областями.
В.5.3 Реальность и возможность
BFO — актуалистическая онтология, которая распознает только реально существующие сущности (на уров
не как экземпляров, так и универсалий). Пользователи BFO могут применять две стратегии для работы сданными
об исключительно возможных сущностях:
- опираясь на категорию предрасположенностей, которые являются фактическими сущностями, но при этом
могут, но не должны быть реализованы. Функции — это одна из подкатегорий предрасположенностей в BFO;
- технические решения, химические диаграммы и теоретические рассуждения в научных теориях являют
ся примерами условных информационных сущностей в том смысле, что касаются чего-то реального только при
определенных условиях (например, когда проект реализован в соответствующем артефакте, или когда синтези
руется соответствующее химическое вещество). Пользователи BFO могут создавать в таких контекстах онтоло
гии предметной области, которые являются условными в аналогичном смысле. Имеется в виду, что содержимое
BFO используется точно так же, как если бы рассматриваемые сущности уже были известны как существующие в
реальном мире при условии, что результирующие утверждения не связаны с онтологической привязкой к таким
сущностям.
В.5.4 Классы и типы
BFO — реалистическая онтология в том смысле, что она принимает универсалии как реально существующие
в реальности. Это позволяет пользователям BFO проводить различие между эталонными и прикладными онтоло
гиями. Первые состоят преимущественно из терминов, представляющих универсалии. Они созданы для неограни
ченного повторного использования в других онтологиях. Прикладные онтологии создаются для конкретных целей
и включают термины, представляющие не только универсалии, но и определенные классы согласно описанию,
содержащемуся в В.2.2.
BFO нейтрально относится к возможному существованию различных универсалий с одинаковыми расшире
ниями.
BFO не распознает универсалии более высокого уровня (универсалии, созданные универсалиями). Напри
мер, универсалии под названием universal (универсалия) не существует.
В.5.5 Изменение с течением времени
BFO воспринимает идентичность континуантов как нечто базовое. Объекты, например, могут изменяться с
течением времени, изменяя свои качества или местоположение, но сохраняя при этом свою идентичность. Окку-
ренты, напротив, изменяться не могут. Поэтому они не могут приобрести или утратить какие-либо части.
BFO описывает изменение атрибутов (таких, как температура и другие качественные характеристики) с те
чением времени путем проведения различий между определяемыми параметрами и определителями: организм
всегда имеет качество «температура» (определяемое), он обладает конкретной температурой (определитель) в
конкретный момент времени (например, высокая температура, низкая температура).
В своей трактовке атрибутов BFO различает предрасположенности, которые являются внутренне обосно
ванными реализуемыми сущностями (например, определенный навык или предрасположенность к облысению), и
ролями, которые являются внешне обоснованными реализуемыми сущностями (например, роль адвоката или роль
работника, основанные на требованиях судебных инстанций или работодателей). Роли в этом смысле всегда
являются необязательными, поскольку носитель может утратить свою роль, не подвергаясь при этом физическому
изменению.
В.5.6 Части, целое, единство и границы
BFO определяет отдельные отношения «часть — целое» для континуантов и оккурентов.
24