ГОСТ Р 59798—2021
3.6 экземпляр (instance): Партикулярия, которая конкретизирует некоторую универсалию (3.2).
Пример
—
Джон, ноутбукДжона, 2012 год.
4 Соответствие
4.1 Прямое соответствие
Онтология с сигнатурой, указанной в приложении А.1, использующая тот же язык и синтаксис и
включающая аксиоматизации OWL и CL, указанные в приложениях А.2 и А.З, находится в прямом соот
ветствии с настоящим стандартом.
4.2 Прямое соответствие через формализацию OWL 2
Онтология с сигнатурой, указанной в приложении А.1, использующая тот же язык и синтаксис и
включающая формализацию, указанную в приложении А.2, находится в прямом соответствии с настоя
щим стандартом посредством формализации OWL 2.
4.3 Прямое соответствие через формализацию CL
Онтология с сигнатурой, указанной в приложении А.1, использующая тот же язык и синтаксис и
включающая формализацию, указанную в приложении А.З, находится в прямом соответствии с настоя
щим стандартом посредством формализации CL.
4.4 Соответствующие профили
4.4.1 Общие положения
Онтология может быть представлена в различных версиях, иногда называемых профилями, под
множествами, упрощенными вариантами, представлениями или модулями, которые адаптированы для
конкретных сообществ или исследовательских парадигм. Онтология, построенная таким образом, яв
ляется соответствующим профилем BFO 2020 в соответствии с настоящим стандартом при условии,
что все утверждения, производные от этой онтологии, доказуемы на основе аксиом формализации CL в
приложении А.З. Соответствующие профили могут состоять только из аксиоматизаций OWL или только
аксиоматизаций CL. Соответствующие профили могут включать профили OWL, менее проработанные,
чем профили OWL 2 с дискретной семантикой.
4.4.2 Подтипы соответствующих профилей
4.4.2.1 Онтология имеет сигнатуру, идентичную сигнатуре BFO 2020 или ее подмножества. В лю
бом случае должны использоваться оригинальные идентификаторы IRI из BFO 2020.
Примеры
—
1 Подтеория BFO 2020-CL, разработанная исключительно для представления процессов и состо
ящая только из оккурентных терминов BFO 2020 и соответствующих аксиом CL.
2 OWL-профиль «только классы» в BFO 2 на странице
http://purl.obolibary.org/obo/bfo/classes-only.
owl, в который входят только иерархия классов, подклассы и утверждения несвязанности из полной
версии BFO 2 в соответствии со стандартом OWL, но не входят объекты, свойства данных или логи
ческие аксиомы, использующие такие свойства.
4.4.2.2 Онтология имеет сигнатуру, которую можно разделить на две части: первая удовлетворяет
условию, указанному в 4.4.1.1, вторая состоит из дополнительных терминов и выражений отношения,
определенных логически на основе терминов и выражений отношения, включенных в первую часть.
Пример
—
Расширение BFO 2020, созданное путем включения в определенные на основе сигна
тур классы, например, класс «атрибут», определенный как дизъюнкция «качество или реализуемая
сущность».
4.4.2.3 Онтология имеет сигнатуру согласно 4.4.2.1 или 4.4.2.2, но включает перемаркировку одно
го или нескольких терминов или выражений отношения с сохранением исходных идентификаторов IRI.
Примеры
—
1 Копия BFO 2020 за исключением того, что термины и выражения отношения являются перево
дами сигнатуры BFO 2020 с английского на другой язык.
2 Подтеория BFO 2020-OWL, разработанная для поддержки представления химических объектов
(молекул и их частей) и состоящая исключительно из континуантных терминов и связанных с ними
3