ГОСТ Р 59798—2021
выражений отношения, для которых в BFO 2020-OW выполняется перемаркировка: вместо «continuant-
part-of-at-all-times» указывается «continuant-part-of».
4.4.3 Альтернативные аксиоматизации OWL
Согласно описанию в ГОСТ Р ИСО/МЭК 21838-1,4, 2.1 ограничения на закрытие аксиом в онтоло
гии OWL 2 подразумевают, что могут существовать альтернативные формализации OWL 2 для сигнату
ры BFO 2020, задокументированные в А.2 приложения А, которые можно интерпретировать и доказать
с помощью аксиоматизации CL, указанной в А.З приложения А. Такие альтернативные аксиоматизации
также являются соответствующими профилями в соответствии с настоящим стандартом.
4