ISOIEC 21838-22021 信息技术.顶级本体(TLO).第2部分基本形式本体(BFO)标准立项发展报告_第1页
ISOIEC 21838-22021 信息技术.顶级本体(TLO).第2部分基本形式本体(BFO)标准立项发展报告_第2页
ISOIEC 21838-22021 信息技术.顶级本体(TLO).第2部分基本形式本体(BFO)标准立项发展报告_第3页
ISOIEC 21838-22021 信息技术.顶级本体(TLO).第2部分基本形式本体(BFO)标准立项发展报告_第4页
ISOIEC 21838-22021 信息技术.顶级本体(TLO).第2部分基本形式本体(BFO)标准立项发展报告_第5页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

信息技术顶级本体(TLO)第2部分:基本形式本体(BFO)标准立项发展报告StandardizationDevelopmentReport:InformationTechnology–Top-LevelOntologies(TLO)–Part2:BasicFormalOntology(BFO)摘要随着人工智能、语义网、大数据和知识工程技术的迅猛发展,本体(Ontology)作为实现领域知识形式化表达与共享的核心基础设施,其标准化需求日益迫切。在诸多顶层本体中,基本形式本体(BasicFormalOntology,BFO)凭借其严谨的哲学基础、广泛的应用领域和持续的国际协作,已成为ISO/IEC21838系列国际标准的重要组成部分。本报告围绕ISO/IEC21838-2:2021《信息技术顶级本体(TLO)第2部分:基本形式本体(BFO)》展开系统论述,从标准立项背景、主要内容、技术架构与应用价值等维度进行深入分析。报告首先介绍了该标准产生的技术背景与政策环境,继而系统梳理了BFO的核心理论框架(包括实体、持续实体、发生实体、依赖实体等基本范畴及其分类体系),并详细解读了ISO/IEC21838-2:2021规定的符合性要求、形式化表达方法与应用指南。在此基础上,报告对该标准在生物医学、工业制造、国防信息等领域的典型应用进行了归纳分析,明确了其对于促进异构系统间语义互操作、支持数据集成与知识推理的重要支撑作用。最后,报告对该标准的参与编制单位及技术委员会情况进行了介绍,并对未来发展方向进行了展望,提出加强我国在该领域深度参与和落地应用的对策建议。关键词:基本形式本体;顶层本体;ISO/IEC21838;语义互操作;知识表示;标准化Keywords:BasicFormalOntology;Top-LevelOntology;ISO/IEC21838;SemanticInteroperability;KnowledgeRepresentation;Standardization一、引言1.1研究背景20世纪90年代以来,随着语义网技术从理论走向实践,如何在不同领域、不同系统之间实现知识的共享与重用,成为信息科学领域的核心挑战之一。本体作为"共享概念模型的明确形式化规范"(Gruber,1993),为特定领域提供了一套公认的术语体系、概念定义和关系约束。然而,当领域本体来自不同开发团队、采用不同建模风格时,其概念体系之间的兼容性和对齐问题便成为制约跨领域知识集成的根本瓶颈。顶层本体(Top-LevelOntology,TLO)亦称"上层本体"或"基础本体",是描述世界中最普遍、最抽象的范畴(如时间、空间、物质、过程、属性、关系等)的形式化模型。顶层本体不依赖于任何特定领域,而是为下层领域本体的构建提供统一的范畴框架和公理约束。通过在多个领域本体之上建立一个公共的语义锚点,顶层本体能够有效促进跨领域、跨系统的语义互操作性。1.2标准基本信息ISO/IEC21838-2:2021《信息技术顶级本体(TLO)第2部分:基本形式本体(BFO)》于2021年11月30日正式发布,由ISO/IECJTC1/SC32归口管理,国际电工委员会(IEC)作为发布机构。该标准采用电子版加密PDF格式发行,语言为英语。这一标准的发布标志着本体技术正式进入国际标准化的规范轨道,为各类信息系统的语义建模提供了权威的技术基准。二、标准立项背景与研制过程2.1标准化需求的产生本体的开发和应用在近二十年间经历了爆炸式增长,生物医学、制造业、地理信息、国防情报、电子商务等领域都涌现出大量本体工程项目。然而,由于缺乏统一的顶层建模规范,各领域本体在建模风格、形式化程度和分类原则等方面存在显著差异,导致本体之间的映射和对齐成本极高。具体而言,标准化需求来自以下方面:第一,跨系统语义互操作需求。在智慧医疗、智能制造等典型场景中,大量异构系统需要交换和整合数据,若各系统的信息模型背后缺乏共同的顶层语义框架,则数据层面的"互联互通"很难上升为知识层面的"互操作"。第二,本体工程的方法论规范化需求。本体开发长期被批评为"手艺活",缺少可复用的方法论框架和可验证的质量标准。通过将经过长期实践检验的BFO上升为国际标准,有助于推动本体开发从经验导向转向规范导向。第三,国际间知识共享与协作需求。在大型国际合作项目(如全球生物多样性信息网络、国际肿瘤基因组联盟等)中,不同国家和机构的数据模型需要在一个共同的概念框架下进行对齐,对标准化的顶层本体提出了迫切需求。2.2研制历程ISO/IEC21838标准的研制工作始于2015年,由ISO/IECJTC1/SC32/WG2(元数据工作组)负责推进。BFO从学术本体走向国际标准经历了三个阶段:第一阶段(2002—2010年),BFO由美国Buffalo大学BarrySmith教授团队在哲学本体论研究基础上持续开发,形成了较为成熟的理论体系和形式化表达;第二阶段(2011—2016年),BFO在OBOFoundry(开放生物医学本体联盟)框架下被广泛采用,成为生物医学领域事实上最流行的顶层本体之一,其稳定性和领域适应能力得到充分验证;第三阶段(2017—2021年),在ISO/IECJTC1/SC32的组织下,经过多轮国际投票和专家评审,BFO最终被确立为ISO/IEC21838-2国际标准,于2021年正式发布。三、标准主要内容与技术解析3.1标准的结构框架ISO/IEC21838-2:2021在内容编排上遵循ISO/IEC21838-1所规定的顶级本体通用框架,同时结合BFO自身的理论特点,构建了完整的规范体系。标准主要内容包括:范围、规范性引用文件、术语和定义、BFO的哲学基础与设计原则、BFO核心范畴体系(即BFO分类学)、形式化表达与公理化要求、符合性评价规则、映射与应用指南以及附录。3.2BFO的核心理论框架BFO的设计以实在论(Realism)为哲学立场,主张本体应当忠实反映世界本身的客观结构,而非仅服务于认知或语言层面的便利。BFO最根本的区分发生在连续实体(Continuant)与发生实体(Occurrent)之间。前者指在时间中持续存在、不具有时间部分的实体(如一个人、一座山、一个细胞),后者指在时间中展开、具有时间部分的实体(如一次代谢过程、一场风暴、一次手术)。这一区分为所有下层领域的分类提供了一条清晰的、基于存在论而非认识论的基线。在这一基础上,BFO进一步划分了以下核心范畴:-实体(Entity):最广泛的范畴,涵盖一切存在者。-独立连续体(IndependentContinuant):不依赖于其他实体而存在的连续实体,如物质实体、对象、空间区域等。-依赖连续体(DependentContinuant):其存在依赖于其他实体(通常是独立连续体)的连续实体,如质量、角色、功能、倾向(Disposition)、形状等。-发生(Occurrent):具有时间延展性的实体,包括过程(Process)、过程边界(ProcessBoundary)、时间区域(TemporalRegion)等子类。-空间区域(SpatialRegion):独立于其占据者的空间位置范畴。-外部关系与内部关系:BFO对实体间关系进行了严格分类,如part-of、located-in、participates-in、has-quality等。3.3形式化表达与公理化要求ISO/IEC21838-2:2021对BFO的形式化表达提出了明确的规范性要求。BFO的官方表达采用OWL2DL(WebOntologyLanguage2DescriptionLogic)和CL(CommonLogic)两种形式化语言,两者在逻辑表达能力上各有侧重,互为补充。标准规定BFO本体的全部公理和定义必须满足一致性、完整性和最小化原则——即不引入冗余公理、不包含未定义的术语、所有基本范畴均须有清晰的形式化语义。具体而言,OWL2DL版本适用于基于语义网技术栈的应用场景,支持基于描述逻辑的推理服务;CL版本则具有更充分的表达力,适用于需要复杂一阶逻辑推理的领域。两种版本在BFO-2020(BFO的第2版)中实现了公理层面的对齐,为不同推理环境下的使用提供了统一语义基础。标准还通过一系列"符合性测试"明确了判定一个本体是否为合规BFO实现的评价指标和方法,为工具开发和应用部署提供了可操作的基准。3.4标准的主要创新点四、标准应用领域与实践价值4.1生物医学领域生物医学是BFO应用最为成熟和广泛的领域。OBOFoundry联盟自2005年起便将BFO作为其推荐顶层本体,旗下数十个重要领域本体(如基因本体GO、人类表型本体HPO、细胞本体CL等)均以BFO为顶层框架进行构建。在ISO/IEC21838-2发布后,BFO的规范性进一步增强,为电子健康记录(EHR)的语义集成、临床试验数据的标准化建模以及医学知识图谱的构建提供了坚实的语义基础设施。4.2工业制造与物联网在工业4.0和智能制造背景下,数字孪生、工业知识图谱和资产管理壳(AssetAdministrationShell)等关键技术都面临多源异构数据融合的挑战。BFO能够为设备描述、工艺过程建模、产品质量追溯等领域提供统一的顶层语义框架,支撑从物理世界到信息空间的精确映射。ISO/IEC21838-2为工业互联网平台的语义互操作层提供了标准化的理论支撑。4.3国防与情报分析在国防和情报领域,多源情报融合、态势感知和作战概念建模均需要高度规范的语义框架。BFO的时间-空间-实体综合框架能够为战场态势要素(如部队、装备、行动、事件、地理空间关系等)提供精确的形式化描述能力。美国国防部等多个机构已在相关项目中探索BFO的应用。4.4标准化生态中的枢纽作用ISO/IEC21838-2并非孤立的标准,而是与ISO/IEC21838-1(顶级本体的通用要求)、ISO25964(叙词表互操作)、ISO/IEC11179(元数据注册)等标准构成相互支撑的标准簇。BFO作为经过国际标准认证的顶层本体,能够为各行业领域本体的标准化建设和跨领域语义集成提供公共锚点,在标准化生态中发挥着关键的枢纽作用。五、主要参与编制单位介绍ISO/IEC21838-2:2021的制定汇聚了多个国家和国际组织专家的智慧,其中,美国布法罗大学(UniversityatBuffalo,TheStateUniversityofNewYork)及其下属的国家本体研究与分析中心(NationalCenterforOntologicalResearch,NCOR)是该标准编制的核心主导力量。布法罗大学是BFO的最初发明地和长期研发中心。该校哲学系教授BarrySmith自2002年起主导BFO的理论设计工作,并在美国国立卫生研究院(NIH)、美国国防部等机构的资助下,持续推动BFO的完善和推广。NCOR成立于2005年,是一个跨学科研究机构,汇集了哲学、计算机科学、生物医学信息学等领域的专家,专门从事本体理论和应用研究。在ISO/IEC21838系列标准的研制过程中,NCOR团队不仅承担了BFO规范文本的主要起草工作,还组织了一系列国际研讨会和技术评审活动,协调解决各国专家提出的技术争议。此外,该标准的制定还得到了来自德国、英国、澳大利亚、加拿大等多国标准化专家的积极参与。例如,德国弗莱堡大学、英国曼彻斯特大学等机构的研究人员在本体形式化表达和符合性测试方法方面做出了重要贡献。中国作为ISO/IECJTC1的积极参与国,也派出专家参与了该标准的评审和投票工作,关注BFO在跨语言、跨文化环境下的适用性议题。六、结论与展望ISO/IEC21838-2:2021的发布是本体系列标准从学术研究走向规范化应用的重要里程碑。作为经过20余年理论发展和多领域实践检验的顶层本体,BFO通过国际标准的确认,获得了更广泛的社会认可度和更强的规范约束力。该标准不仅为开发人员提供了明确的顶层建模规范,也为系统采购方和标准化管理者提供了评价本体合规性的技术依据。从发展趋势看,ISO/IEC21838-2将继续在以下方向深化发展:其一,随着BFO在更多应用领域(如智慧城市、金融科技、数字人文等)的推广,相应的应用指南和最佳实践案例将持续丰富;其二,BFO与人工智能大模型、知识图谱自动构建等新技术的结合将催生新的标准化需求;其三,BFO的轻量化子集和领域适配方案可能成为后续标准化工作的重点方向。对于我国而言,应积极关注ISO/IEC21838系列标准的研究工作,鼓励国内高校、科研机构和企业深入参与相关国际标准化活动,推动BFO在中文环境下的适配应用,同时结合我国在人工智能、大数据等领域的优势技术,探索具有中国特色的顶层本体标准化路径。通过深度参与国际标准制定,在贡献中国智慧的同时,也为我国信息系统的语义互操作能力提升提供有力支撑。参考文献[1]ISO/IEC21838-2:2021,Informationtechnology—Top-levelontologies(TLO)—Part2:BasicFormalOntology(BFO)[S].Geneva:ISO/IEC,2021.[2]ISO/IEC21838-1:2021,Informationtechnology—To

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论