ГОСТ Р 59798—2021
Набор ССО расширен рядом прикладных онтологий, включая:
Онтология воздушных судов
Онтология технического обслуживания
воздушных судов ВВС
Онтология общих задач вооруженных сил
Онтология технического обслуживания
воздушных судов ВВС
Онтология общих задач вооруженных сил
Онтология эмоций
Онтология гидрографических признаков
Онтология права и преступлений
Онтология военных операций
Онтология планирования миссий
Онтология планирования миссий
Онтология профессий
Онтология космического пространства
Онтология физиографических признаков
Онтология сенсоров
Онтология навыков
Онтология космических объектов
Онтология транспортной инфраструктуры
Онтология подводных боевых действий
Онтология плавсредств
Документация по этим и другим общим базовым онтологиям представлена на странице
https://github.com/
CommonCore-Ontology [5].
В.2 Принципы обеспечения соответствия онтологии предметной области требованиям BFO
В.2.2 Соответствие путем прямого расширения
Одной из распространенных стратегий, используемых для обеспечения соответствия онтологии предметной
области требованиям BFO, является загрузка онтологии верхнего уровня в редактор онтологий, после чего онто
логия предметной области строится с самого начала на этой основе. Затем термины BFO используются в качестве
отправной точки для определения набора терминов онтологии предметной области наивысшего уровня как кон
кретизации соответствующих категорий BFO. Для этой цели должны использоваться категории, которые находятся на
самом нижнем уровне иерархии BFO, подходящей для целей онтологии предметной области и во всех случаях
находящейся на более низком уровне, чем «сущность». Для подтверждения соответствия онтологии предметной
области, построенной таким образом, требуется, чтобы результатом добавления терминов онтологии и выражений
отношения предметной области к BFO была непротиворечивая онтология.
Кроме того, требуется, чтобы каждый термин в онтологии предметной области был либо (2а) связан с BFO
через некоторую уникальную цепочку отношений типа is_a, либо (2Ь) мог быть определен с помощью некоторых
логических комбинаций терминов, удовлетворяющих условию (2а), но при этом сам по себе не удовлетворял бы
условию (2а).
В последнем случае термин относится к определенному классу (см. 3.5).
Требование к уникальности в (2а) подразумевает, что все термины итоговой онтологии, которые относятся
к универсалиям (в смысле определения, содержащегося в пункте 3.2), а не к определенным классам, образуют
иерархию с единичным наследованием (термины в итоговой онтологии не могут иметь более одного родителя).
Добавление онтологии предметной области к BFO в некоторых случаях приведет к консервативному рас
ширению BFO (таким образом, никакие дополнительные теоремы, использующие только термины и реляционные
выражения в сигнатуре BFO, нельзя будет доказать с использованием BFO, расширенной путем добавления онто
логии предметной области, то есть перечень теорем останется таким же, как для исходной BFO). В случаях, когда
онтология предметной области будет относиться к универсалиям (например, времени и пространству в физиче
ской онтологии), которые являются категориями BFO, результат может не являться консервативным расширением.
Например, результат может содержать более детальную трактовку времени и пространства по сравнению с пред
ставленной в BFO.
В.2.3 Соответствие путем косвенного расширения
Онтология предметной области, которая сама является уточнением второй онтологии предметной области,
может наследовать соответствие BFO посредством применения принципов, указанных выше, но только в той сте
пени, в которой ее родитель или родители в иерархии онтологий сами соответствуют BFO.
В.2.4 Соответствие путем изменения
Онтология предметной области, изначально не соответствующая BFO, может быть преобразована так, что
бы обеспечить ее соответствие. Это достигается, во-первых, путем изменения порядка обработки терминов и вы
ражений отношения верхнего уровня таким образом, чтобы они удовлетворяли условиям (1) и (2а) или (2Ь), упо-
В.2.1 Обзор
Если BFO служит отправной точкой для разработки или изменения онтологий предметной области или дру
гих внешних онтологических ресурсов. Их соответствие BFO в рамках ГОСТ Р ИСО/МЭК 21838-1,4.4.3, обеспечи
вается следующими способами.
22