ISO/IEC 21838-2:2021 信息技术顶层本体(TLO) 第2部分:基本形式本体(BFO)
标准编号:ISO/IEC 21838-2:2021
中文名称:信息技术顶层本体(TLO) 第2部分:基本形式本体(BFO)
英文名称:Information technology — Top-level ontologies (TLO) — Part 2: Basic Formal Ontology (BFO)
发布日期:2021-11
标准范围
ISO/IEC 21838-2:20 21本文档描述了基本形式本体(BFO),它是一种符合ISO/IEC 21838中对顶级本体规定的要求的本体?1.它将BFO描述为一种旨在支持异构信息系统之间信息交换的资源。以下内容属于本文件的范围:-BFO-2020术语和关系的定义;-OWL 2和CL中BFO-2020的公理化;-BFO-2020是否符合ISO/IEC 21838中为顶级本体规定的要求?1;-如果领域本体要充当本体套件中的模块,其中BFO充当顶级本体中枢,则通过提供用于在该套件内是其最近邻居的那些领域本体中引入最通用术语的起点来指定该领域本体的要求;-指定BFO中的术语在符合BFO的较低级别的本体中的定义和公理的制定中所扮演的角色。以下内容超出了本文档的范围:-本体语言的规范,包括本体开发中标准使用的语言RDF、OWL和CL;-使用本体进行推理的方法的规范;-在不同本体语言中开发的本体的符号之间指定翻译器。
ISO/IEC 21838-2:2021 This document describes Basic Formal Ontology (BFO), which is an ontology that is conformant to the requirements specified for top-level ontologies in ISO/IEC 21838?1.
It describes BFO as a resource designed to support the interchange of information among heterogeneous information systems. The following are within the scope of this document:
- definitions of BFO-2020 terms and relations;
- axiomatizations of BFO-2020 in OWL 2 and CL;
- documentation of the conformity of BFO-2020 to the requirements specified for top-level ontologies in ISO/IEC 21838?1;
- specification of the requirements for a domain ontology if it is to serve as a module in a suite of ontologies in which BFO serves as top-level ontology hub by providing a starting point for the introduction of the most general terms in those domain ontologies which are its nearest neighbours within the suite;
- specification of the role played by the terms in BFO in the formulation of definitions and axioms in ontologies at lower levels that conform to BFO.
The following are outside the scope of this document:
- specification of ontology languages, including the languages RDF, OWL, and CL standardly used in ontology development;
- specification of methods for reasoning with ontologies;
- specification of translators between the notations of ontologies developed in different ontology languages.
标准预览图


