ГОСТ Р 59798—2021
А.З Аксиоматизация CL для BFO 2020
А.3.1 Обзор
Аксиоматизация CL 2 для BFO 2020, удовлетворяющая требованиям ГОСТ Р ИСО/МЭК 21838-1, 4.3, пред
ставлена на портале Поддержка стандартов ИСО:
https://standards.iso.org/iso-iec/21838/-2/ed-1/en
(временная
ссылка),
https://buffalo.app.box.eom/v/bfo-iso-owl-cl.
Эта аксиоматизация должна использоваться при оценке соот
ветствия BFO 2020 согласно определению, содержащемуся в 4.1 и 4.3 настоящего стандарта.
А.3.2 Документация
Аксиоматизация CL для BFO 2020 представлена в трех следующих форматах:
- каталог common-logic содержит файлы в формате CLIF;
- каталог prover9 содержит файлы, использующие переменные в стиле пролога, для загрузки в средство
автоматического доказательства теорем prover9;
- каталог pdf содержит файлы в стандартной логической нотации предикатов первого порядка.
Синтаксис Common Logic Interchange Format (CLIF) должен соответствовать ГОСТ Р 59791.
А.3.3 Модульность
Аксиомы в формализации разделены с частичным дублированием на следующие модули:
Континуантная мереология
Предметная область и диапазон
Существование и воплощение
Общая зависимость
История
материальная сущность
Оккурентная мереология
Порядок
Участие
область пространства
пространственно-временная область
Специфическая зависимость
временная область
Универсальная декларация
20