ГОСТ Р 59798-2021 Информационные технологии (ИТ). Онтологии высшего уровня (TLO). Часть 2. Базисная формальная онтология (BFO)

     1 Область применения

Настоящий стандарт определяет термины и отношения, используемые в базовой формальной онтологии версии BFO 2020, и уточняет BFO 2020 на языке веб-онтологий (OWL) и языке общей логики (CL). Термины и отношения представлены на английском языке, чтобы упростить работу специалистов, использующих онтологию, и обеспечить эффективное взаимодействие между пользователями и разработчиками.

Настоящий стандарт описывает базовую формальную онтологию как ресурс для поддержки обмена информацией между разнородными информационными системами. В область применения настоящего документа входят следующие вопросы:

- определения терминов и отношений BFO 2020;

- аксиоматизации BFO 2020 на языках OWL 2 и CL;

- документация о соответствии BFO 2020 требованиям, указанным для онтологий верхнего уровня в ГОСТ Р ИСО/МЭК 21838-1;

- спецификация требований к онтологии предметной области, если ее планируется использовать в качестве модуля в наборе онтологий, где BFO выступает в качестве центральной онтологии верхнего уровня и отправной точки для введения наиболее общих терминов в те онтологии предметных областей, которые являются ее ближайшими соседями;

- уточнение роли, которую играют термины в BFO при формулировании определений и аксиом в онтологиях более низких уровней, которые соответствуют BFO.

Нижеследующее выходит за рамки настоящего стандарта:

- спецификация языков онтологий, включая RDF, OWL и CL, которые обычно используются для разработки онтологий;

- определение методов обоснования с помощью онтологий;

- определение трансляторов нотаций онтологий, разработанных на разных языках описания онтологий.