ГОСТ Р 59798—2021
А.1.3.30 Has participant at ail times (имеет участника ... в любой момент)
Определение: р has participant с at all times означает, что в любой момент времени t: Ь существует в мо
мент t, и подразумевается, что Ь— это процесс, ас — континуант, при этом с определенным образом участвует
в р в момент времени t [249-BFO].
А.1.3.31 Participates in at some time (участвует в ... в момент ...)
Определение: Ь participates in р at some time означает, что в определенный момент времени t: р имеет
участника Ь в момент t [250-BFO].
А.1.3.32 Participates in at all times (участвует в ... в любой момент)
Определение: Ь participates in р at all times означает, что в любой момент времени t: b существует в мо
мент t, и подразумевается, что р имеет участника Ь в момент t [251-BFO].
А.1.3.33 Generically depends on at some time (имеет общую зависимость от ... в момент ...)
Синоним: g-depends on
Определение: g-dependent continuant b g-depends on an independent continuant c at some time означает, что в
определенный момент времени t существует наследник с в виде континуанта со специфической зависимостью,
который конкретизирует Ь в момент времени t [252-BFO].
А.1.3.34 Generically depends on at all times (имеет общую зависимость от ... в момент ...)
Синоним: g-depends on
Определение: g-dependent continuant b g-depends on an independent continuant c at all times означает, что
в определенный момент времени t b существует в момент t, и подразумевается, что существует наследник с в
виде континуанта со специфической зависимостью, который конкретизирует Ь в момент времени t [253-BFO].
А.1.3.35 Is carrier of at some time (является носителем ... в момент ...)
Определение: Ь is carrier of с at some time означает, что в определенный момент времени t: с имеет об
щую зависимость от b в момент t [254-BFO].
А.1.3.36 Is carrier of at all times (является носителем ... в любой момент)
Определение: Ь is carrier of с at all times означает, что в любой момент времени t: b существует в момент
t, и подразумевается, что с имеет общую зависимость от Ь в момент t [255-BFO].
А.1.3.37 Concretizes at some time (конкретизирует ... в момент ...)
Определение: s-dependent continuant b concretizes a g-dependent continuant c at some time означает, что в
определенный момент времени t: с — это содержимое или шаблон, которые b разделяет с фактическими или по
тенциальными копиями в момент t [256-BFO].
А.1.3.38 Concretizes at all times (конкретизирует ... в любой момент)
Определение: s-dependent continuant b concretizes a g-dependent continuant c at all times означает, что в лю
бой момент времени t:b существует в момент t, и подразумевается, что с — это содержимое или шаблон, которые
Ь разделяет с фактическими или потенциальными копиями в момент t [257-BFO].
А.1.3.39 Is concretized by at some time (конкретизируется ... в момент ...)
Определение: g-dependent continuant c is concretized at some time by an s-dependent continuant or process b
означает, что в определенный момент времени t: b конкретизирует с в момент t [258-BFO].
А.1.3.40 Is concretized by at all times (конкретизируется ... в любой момент)
Пояснение: g-dependent continuant с is concretized by an s-dependent continuant or process b at all times
означает, что в любой момент времени t\ b существует в момент t, и подразумевается, что Ь конкретизирует с в
момент времени t [259-BFO].
А.2 Аксиоматизация OWL 2 для BFO 2020
А.2.1 Обзор
Аксиоматизация OWL 2 для BFO 2020, удовлетворяющая требованиям ГОСТ Р ИСО/МЭК 21838-1,4.2, пред
ставлена на портале Поддержка стандартов ИСО:
https://standards.iso.org/iso-iec/21838/-2/ed-1/en
(временная
ссылка):
https://buffalo.app.box.eom/v/bfo-iso-owl-d.
Эта аксиоматизация должна использоваться при оценке соот
ветствия BFO 2020 согласно определению, содержащемуся в 4.1 или 4.2 настоящего стандарта.
А.2.2 Документация
Предоставляются следующие файлы:
- BFO 2020.owl — OWL в формате RDF;
- BFO 2020.ofn — OWL в функциональном синтаксисе [3] с идентификаторами URI;
- BFO 2020-labeled.ofn — OWL в функциональном синтаксисе с метками вместо URI;
- BFO 2020-uris.xlsx — таблица URI для всех классов и отношений в BFO 2020-CL, включая все классы и
отношения в BFO 2020-OWL;
- bfo-relations-table.xlsx — таблица всех отношений в BFO 2020-CL, включая все инверсные и все бинарные
варианты, используемые в BFO 2020-OWL;
- temporalized-definitions.cl — CL-определения бинарных отношений, постоянно или периодически исполь
зуемых в OWL;
- temporalized-definitions.prover9 — как для п. 6, но в формате prover9.
19