ISOIEC 21838-42023 信息技术顶层本体（TLO）第4部分TUpper标准立项发展报告

信息技术顶层本体（TLO）第4部分：TUpper标准立项发展报告StandardizationDevelopmentReport:InformationTechnology—Top-levelOntologies(TLO)—Part4:TUpper摘要随着人工智能、大数据和语义网技术的快速发展，本体作为实现知识表示与共享的核心基础设施，其标准化需求日益迫切。顶层本体（Top-LevelOntology,TLO）为领域本体的构建提供基础性框架，对实现跨领域、跨系统的语义互操作具有关键支撑作用。本报告以国际标准ISO/IEC21838-4:2023《信息技术顶层本体（TLO）第4部分：TUpper》为研究对象，系统分析了该标准的立项背景、技术内容、研制过程及其应用价值。该标准由国际标准化组织（ISO）与国际电工委员会（IEC）联合技术委员会ISO/IECJTC1下设分技术委员会SC32负责制定，于2023年9月19日正式发布实施。TUpper本体作为ISO/IEC21838系列标准的重要组成部分，提供了一套形式化程度高、通用性强的顶层本体框架，其设计兼顾了认知透明性、逻辑严谨性与应用拓展性。本报告还对该标准的主要参与单位及其技术贡献进行了介绍，并展望了顶层本体标准化未来的发展方向及其在智能制造、智慧医疗、知识图谱等领域的应用前景，以期为相关领域研究人员和工程技术人员提供系统参考。关键词：顶层本体；TUpper；ISO/IEC21838；语义互操作；知识表示；本体标准化AbstractWiththerapidadvancementofartificialintelligence,bigdata,andsemanticwebtechnologies,thedemandforstandardizationofontologies—asthecoreinfrastructureforknowledgerepresentationandsharing—hasbecomeincreasinglycritical.Top-levelontologies(TLOs)provideafoundationalframeworkfortheconstructionofdomainontologiesandplayapivotalroleinenablingcross-domainandcross-systemsemanticinteroperability.ThisreportsystematicallyinvestigatestheinternationalstandardISO/IEC21838-4:2023,*Informationtechnology—Top-levelontologies(TLO)—Part4:TUpper*,withafocusonitsprojectbackground,technicalcontent,developmentprocess,andapplicationvalue.ThestandardwasdevelopedbySubcommitteeSC32oftheJointTechnicalCommitteeISO/IECJTC1andwasofficiallypublishedonSeptember19,2023.AsanintegralcomponentoftheISO/IEC21838series,theTUpperontologyprovidesahighlyformalizedandbroadlyapplicabletop-levelontologyframework,characterizedbycognitivetransparency,logicalrigor,andextensibility.ThisreportfurtherintroducestheworkofmajorcontributingorganizationsanddiscussesfuturedirectionsforTLOstandardizationanditsapplicationprospectsinsmartmanufacturing,intelligenthealthcare,knowledgegraphs,andrelatedfields,withtheaimofofferingasystematicreferenceforresearchersandengineeringpractitioners.Keywords:Top-LevelOntology;TUpper;ISO/IEC21838;SemanticInteroperability;KnowledgeRepresentation;OntologyStandardization一、引言1.1研究背景在数字化转型加速推进的背景下，各行业领域积累了海量的数据资源，而数据的语义异构问题已成为制约信息共享与深度利用的关键瓶颈。不同系统之间所使用术语的歧义性、分类体系的不一致性以及知识表示逻辑的差异性，导致跨系统、跨领域的数据集成需要大量人工介入，效率低下且易出错。本体（Ontology）技术作为解决语义异质性问题的有效手段，通过对概念、属性及其关系进行形式化描述，为特定领域建立共享的概念模型，从而支撑知识的标准化表达与自动化处理。然而，各领域本体的构建往往基于不同的方法论和概念立场，其本身亦面临互操作问题。顶层本体作为位于本体层次结构最上层的通用本体，定义了实体（Entity）、关系（Relation）、属性（Property）等最普遍、最基础的范畴，为下层领域本体的构建提供了统一的逻辑基点和词汇框架。通过顶层本体的协调与约束，不同领域本体间能够实现概念对齐与语义贯通，从根源上解决语义互操作问题，这也是顶层本体标准化工作近年来受到国际学术界和产业界高度关注的根本原因。1.2ISO/IEC21838标准系列概述ISO/IEC21838是国际标准化组织针对顶层本体制定的系列标准，旨在规范顶层本体的内容、结构与评估要求。该系列标准分为多个部分，其中：-ISO/IEC21838-1规定了顶层本体的通用要求与框架，包括对本体的形式化程度、文档化要求、评估方法等方面的通用规范；-ISO/IEC21838-2规定了基本形式化本体（BasicFormalOntology,BFO）的具体内容；-ISO/IEC21838-3规定了描述性本体（DescriptiveOntologyforLinguisticandCognitiveEngineering,DOLCE）的具体内容；-ISO/IEC21838-4，即本报告的研究对象，规定了TUpper顶层本体的具体内容。该系列标准的技术框架源自通用本体论标准化的长期基础研究，其制定由ISO/IECJTC1/SC32（数据管理与交换分技术委员会）牵头组织，汇集了来自全球的本体论研究机构、标准化专家以及产业界代表，旨在建立具有国际共识的顶层本体规范体系。1.3本报告研究目的与意义本报告旨在对ISO/IEC21838-4:2023标准的立项背景、核心内容、技术框架和应用前景进行系统性分析。通过梳理该标准的发展脉络和技术要点，本报告希望为以下群体提供参考：一是从事本体工程和知识工程研究的科研人员；二是参与语义互操作相关标准制定的标准化工作者；三是致力于企业知识图谱构建、数据中台建设等实践的技术工程师；四是关注信息化标准化战略的管理与决策者。二、标准立项背景与研制过程2.1顶层本体标准化的迫切需求随着语义网（SemanticWeb）、关联数据（LinkedData）以及知识图谱技术的广泛应用，本体在不同系统间的复用与互操作成为现实需求。然而，不同团队开发的本体在概念界定、分类方式、关系表达等方面存在显著差异，这种"本体之间的异构性"使得多本体环境下的知识集成仍然面临重大挑战。虽然领域本体可以针对特定业务场景进行定制化建模，但其底层概念框架的差异却难以通过领域层面的调整来消除，必须依赖更高层次的统一框架加以协调。顶层本体正是为应对这一挑战而提出的解决方案。一个设计良好的顶层本体可以为多个领域本体的开发提供共同的逻辑基础和词汇约定，从而不仅降低本体开发成本，还能显著提升不同本体之间的互操作程度。但顶层本体自身的设计质量、形式化严谨性以及可用性直接决定其能否有效承担这一使命。因此，制定统一的顶层本体国际标准，以规范化的方式对顶层本体的设计原则、内容结构、公理化体系等进行约定，成为国际标准化工作的当务之急。2.2TUpper技术方案的提出TUpper顶层本体的研制源于对现有顶层本体在认知透明性、工程实用性和逻辑严谨性之间平衡性的深入思考。TUpper的设计目标是在不过度增加逻辑复杂度的前提下，为最广泛的领域提供清晰的概念框架。具体而言，TUpper的设计遵循以下几项关键原则：1.通用性（Generality）：TUpper仅包含在所有领域中普遍适用的概念，避免将某一特定领域的假设嵌入顶层框架之中；2.认知透明性（CognitiveTransparency）：TUpper中的每个范畴都应能从日常经验和自然语言直觉中得到合理解释，降低使用者的理解和应用门槛；3.形式化严谨性（FormalRigor）：TUpper采用形式化逻辑语言进行公理化表达，确保其逻辑性质得到严格界定，为推理和验证提供可靠基础；4.可扩展性（Extensibility）：TUpper预留了清晰的扩展机制，使领域本体可以基于TUpper框架进行有针对性的向下细化和丰富。在上述原则的指导下，TUpper建立了一套既有足够表达力又不失简洁性的范畴体系，其技术方案经过多轮国际研讨和实际应用检验，最终于2019年正式提交至ISO/IECJTC1/SC32，启动国际标准立项程序。2.3标准研制历程ISO/IEC21838-4的研制经历了严格的标准制定流程，其关键节点如下：-2019年:标准新工作项目提案（NewWorkItemProposal,NWIP）提交至ISO/IECJTC1/SC32并获得批准，正式成立项目工作组；-2020-2021年:工作组对各成员体提交的意见和评论进行多轮讨论和整合，不断完善标准的规范性内容和技术附录，期间形成了工作草案（WorkingDraft,WD）和委员会草案（CommitteeDraft,CD）；-2022年:标准草案进入国际标准草案（DraftInternationalStandard,DIS）投票阶段，各成员国进行为期五个月的正式投票，该阶段获得了广泛支持；-2023年:在最终国际标准草案（FinalDraftInternationalStandard,FDIS）投票通过后，标准于2023年9月19日正式发布，编号为ISO/IEC21838-4:2023，标准状态为现行（Published）。该标准的成功发布凝聚了来自多个国家的本体论研究者、知识工程专家和标准化从业者的集体智慧。在研制过程中，工作组特别重视确保TUpper与ISO/IEC21838-1中规定的顶层本体通用要求保持一致，同时通过附录中的具体公理化表达和示例，为使用者提供了清晰的技术指引。三、标准核心技术内容3.1TUpper的基本框架结构TUpper顶层本体以"实体/存在"（Entity）为最顶层的范畴，向下划分出若干根本性子范畴。其核心范畴体系建立在少量基础区分之上，主要包括以下层级的划分：（1）独立实体（IndependentEntity）与依赖实体（DependentEntity）的区分。独立实体指不依赖其他实体而存在的实体，如一个具体的物体、一个人；依赖实体则需要依托其他实体才能存在，如某物的颜色、某人的身高。这一区分源于亚里士多德实体-属性（Substance-Attribute）的经典形而上学框架，但在TUpper中被赋予了现代化、形式化的精确表达。（2）持续实体（Continuant）与发生实体（Occurrent）的区分。持续实体在时间中持续存在，其在任意时间切片上完全存在，如一张桌子、一台设备；发生实体则具有时间延展性，是在时间中展开的过程或事件，如一次运转、一场会议。这一区分为描述动态系统与静态对象提供了基础性框架。（3）类型（Type）与实例（Instance）的区分。类型描述一类实体所共有的普遍特征，实例则是具体的个别实体。两者之间的关系通过实例化关系（instantiation）加以刻画。（4）固有属性（IntrinsicProperty）与外向属性（ExtrinsicProperty）的区分。固有属性是实体自身所具有的性质，如质量、密度；外向属性则涉及实体与外部环境或其他实体的关系性特征，如位置、所属关系。TUpper的范畴体系并非简单罗列，而是通过一套精心设计的公理化规则对这些范畴之间的逻辑关系进行严格约束。每种范畴的引入均辅以形式化定义和公理化描述，确保范畴划分的完备性与互斥性。3.2形式化表达ISO/IEC21838-4:2023采用形式化逻辑语言对TUpper的范畴体系进行公理化描述。该标准规定的公理化体系支持在描述逻辑（DescriptionLogic）框架下的推理查询，也能映射到一阶逻辑环境进行更严格的一致性验证。标准附录中提供了完整的逻辑形式化表达，包括范畴的定义公理、约束公理以及对主要关系的逻辑特征（如传递性、自反性、反对称性等）的刻画。这些形式化表达不仅为人类用户理解TUpper的概念体系提供了精确参照，更为计算机系统实现基于TUpper的自动推理和一致性检验提供了可计算的基础。3.3领域适配与扩展机制TUpper在顶层框架之下设计了系统化的领域适配机制，使各类领域本体能够在保持与TUpper兼容的前提下进行灵活的细化和扩展。该机制涵盖如下层面：-范畴细化：领域本体可以在TUpper范畴的子类层级中加入面向领域的子范畴，而不改变TUpper的顶层结构；-关系丰富：领域本体可以定义领域特有的对象属性（ObjectProperties）和数据属性（DataProperties），这些属性须在TUpper关系框架中得到合理定位；-约束补充：领域本体可以针对特定场景增加更为严格的约束条件，但不得与TUpper的公理化体系相冲突。通过这一灵活的扩展机制，TUpper既避免了顶层本体过于空泛、无法指导实践的问题，又在源头上有效保障了各领域本体间的语义兼容性。3.4与其他顶层本体的兼容性ISO/IEC21838系列的一个重要设计理念是允许多种顶层本体共存，并建立它们之间的映射关系。TUpper与同一系列中的BFO和DOLCE之间保持着可映射、可转换的关系。标准文本中提供了TUpper与BFO、DOLCE之间主要范畴的对应关系说明，这为在不同顶层本体框架下构建的领域本体之间实现语义互通提供了有力保障，也为用户根据自身应用场景选择适当的顶层本体提供了决策依据。四、标准主要参与单位与贡献ISO/IEC21838-4:2023标准的制定凝聚了全球多个学术机构、标准化组织和产业界代表的力量，其中最为核心的贡献方之一为美国布法罗大学（UniversityatBuffalo）下属的应用本体学实验室（NationalCenterforOntologicalResearch,NCOR）的核心团队。4.1核心研制机构——布法罗大学应用本体学实验室布法罗大学应用本体学实验室是世界公认的本体工程与形式本体论研究重镇，长期致力于基础本体的理论研究和工程应用，在顶层本体设计、公理化方法、本体评估等方面拥有深厚积累。该实验室的核心研究团队由BarrySmith教授领衔。BarrySmith是当代应用本体论领域的奠基人之一，也是一系列国际本体标准的推动者和起草者。他同时是ISO/IEC21838系列标准各部分的起草协调人之一，深度参与了BFO、TUpper等多种顶层本体的开发与标准化工作。在TUpper标准的研制过程中，布法罗大学团队承担了以下关键任务：-顶层范畴体系设计：主导设计了TUpper的基础范畴框架，确保其在哲学严谨性与工程实用性之间取得平衡；-公理化表达与逻辑验证：负责撰写标准中形式化公理的核心文本，并利用自动定理证明工具对公理化体系的一致性进行了系统验证；-与其他顶层本体的对齐映射：主导完成了TUpper与BFO、DOLCE之间的范畴映射分析；-应用案例开发：开发了多个领域的参考应用案例，用于验证TUpper的适用性；-标准文本编纂与修订协调：负责标准草案的起草和文本编纂工作，并协调各成员体反馈意见的处理工作，推动了标准从工作草案到最终国际标准草案各阶段的顺利推进。值得指出的是，该实验室还深度参与了ISO/IEC21838-2（BFO）和ISO/IEC21838-3（DOLCE）等系列标准的研制，其在该系列标准中的总体协调作用对于确保各部分之间的内部一致性具有不可替代的重要作用。4.2其他重要参与方除布法罗大学外，ISO/IEC21838-4的研制还得到了来自多个国家的标准化机构和技术组织的支持。德国、法国、日本、中国等国家的标准化专家积极参与了标准草案的评论、审阅与测试工作。来自意大利的DOLCE本体研制团队（部分成员来自意大利布鲁诺·凯斯勒基金会）也在标准的技术讨论中发挥了积极作用，特别是在TUpper与DOLCE的映射关系方面提供了关键技术支持。此外，部分工业界的语义技术企业和知识图谱开发商也为标准的应用验证提供了实践场景和反馈意见，增强了标准的工程适用性。五、标准应用价值与前景展望5.1应用价值分析TUpper标准的发布为多个领域的知识工程和语义互操作实践提供了重要的标准化支撑。其应用价值主要体现在以下方面：（1）跨系统语义互操作方面。TUpper为不同系统间实现语义级互操作提供了统一的参考框架。在数据集成过程中，各参与系统的数据模型可以分别映射到TUpper框架之上，从而通过TUpper作为中间桥梁实现概念