信息技术.顶级本体（TLO）.第2部分:基本形式本体（BFO）

[中文适用范围]： 本文件描述基本形式本体（BFO），该本体符合ISO/IEC 21838-1中对顶层本体的要求。文件描述了BFO作为一种支持异构信息系统之间信息交换的资源。 本文件的范围内包括： - BFO-2020术语和关系的定义； - BFO-2020在OWL 2和CL中的公理化表示； - 符合ISO/IEC 21838-1要求的BFO-2020符合性文件； - 规定领域本体的要求，如果该领域本体要作为由BFO提供顶层本体中心的本体套件中的模块，则必须满足这些要求； - 规定BFO术语在符合BFO的下层本体中定义和公理化时所起的作用。 本文件范围外的内容包括： - 规范本体语言，包括在本体开发中常用的RDF、OWL和CL标准； - 规范与本体推理的方法； - 规范不同本体语言符号之间的转换器。 [外文原描述]： 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.