ISOIEC 21838-42023 信息技術(shù)頂層本體（TLO）第4部分TUpper標(biāo)準(zhǔn)立項發(fā)展報告

信息技術(shù)頂層本體（TLO）第4部分：TUpper標(biāo)準(zhǔn)立項發(fā)展報告StandardizationDevelopmentReport:InformationTechnology—Top-levelOntologies(TLO)—Part4:TUpper摘要隨著人工智能、大數(shù)據(jù)和語義網(wǎng)技術(shù)的快速發(fā)展，本體作為實現(xiàn)知識表示與共享的核心基礎(chǔ)設(shè)施，其標(biāo)準(zhǔn)化需求日益迫切。頂層本體（Top-LevelOntology,TLO）為領(lǐng)域本體的構(gòu)建提供基礎(chǔ)性框架，對實現(xiàn)跨領(lǐng)域、跨系統(tǒng)的語義互操作具有關(guān)鍵支撐作用。本報告以國際標(biāo)準(zhǔn)ISO/IEC21838-4:2023《信息技術(shù)頂層本體（TLO）第4部分：TUpper》為研究對象，系統(tǒng)分析了該標(biāo)準(zhǔn)的立項背景、技術(shù)內(nèi)容、研制過程及其應(yīng)用價值。該標(biāo)準(zhǔn)由國際標(biāo)準(zhǔn)化組織（ISO）與國際電工委員會（IEC）聯(lián)合技術(shù)委員會ISO/IECJTC1下設(shè)分技術(shù)委員會SC32負(fù)責(zé)制定，于2023年9月19日正式發(fā)布實施。TUpper本體作為ISO/IEC21838系列標(biāo)準(zhǔn)的重要組成部分，提供了一套形式化程度高、通用性強(qiáng)的頂層本體框架，其設(shè)計兼顧了認(rèn)知透明性、邏輯嚴(yán)謹(jǐn)性與應(yīng)用拓展性。本報告還對該標(biāo)準(zhǔn)的主要參與單位及其技術(shù)貢獻(xiàn)進(jìn)行了介紹，并展望了頂層本體標(biāo)準(zhǔn)化未來的發(fā)展方向及其在智能制造、智慧醫(yī)療、知識圖譜等領(lǐng)域的應(yīng)用前景，以期為相關(guān)領(lǐng)域研究人員和工程技術(shù)人員提供系統(tǒng)參考。關(guān)鍵詞：頂層本體；TUpper；ISO/IEC21838；語義互操作；知識表示；本體標(biāo)準(zhǔn)化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研究背景在數(shù)字化轉(zhuǎn)型加速推進(jìn)的背景下，各行業(yè)領(lǐng)域積累了海量的數(shù)據(jù)資源，而數(shù)據(jù)的語義異構(gòu)問題已成為制約信息共享與深度利用的關(guān)鍵瓶頸。不同系統(tǒng)之間所使用術(shù)語的歧義性、分類體系的不一致性以及知識表示邏輯的差異性，導(dǎo)致跨系統(tǒng)、跨領(lǐng)域的數(shù)據(jù)集成需要大量人工介入，效率低下且易出錯。本體（Ontology）技術(shù)作為解決語義異質(zhì)性問題的有效手段，通過對概念、屬性及其關(guān)系進(jìn)行形式化描述，為特定領(lǐng)域建立共享的概念模型，從而支撐知識的標(biāo)準(zhǔn)化表達(dá)與自動化處理。然而，各領(lǐng)域本體的構(gòu)建往往基于不同的方法論和概念立場，其本身亦面臨互操作問題。頂層本體作為位于本體層次結(jié)構(gòu)最上層的通用本體，定義了實體（Entity）、關(guān)系（Relation）、屬性（Property）等最普遍、最基礎(chǔ)的范疇，為下層領(lǐng)域本體的構(gòu)建提供了統(tǒng)一的邏輯基點(diǎn)和詞匯框架。通過頂層本體的協(xié)調(diào)與約束，不同領(lǐng)域本體間能夠?qū)崿F(xiàn)概念對齊與語義貫通，從根源上解決語義互操作問題，這也是頂層本體標(biāo)準(zhǔn)化工作近年來受到國際學(xué)術(shù)界和產(chǎn)業(yè)界高度關(guān)注的根本原因。1.2ISO/IEC21838標(biāo)準(zhǔn)系列概述ISO/IEC21838是國際標(biāo)準(zhǔn)化組織針對頂層本體制定的系列標(biāo)準(zhǔn)，旨在規(guī)范頂層本體的內(nèi)容、結(jié)構(gòu)與評估要求。該系列標(biāo)準(zhǔn)分為多個部分，其中：-ISO/IEC21838-1規(guī)定了頂層本體的通用要求與框架，包括對本體的形式化程度、文檔化要求、評估方法等方面的通用規(guī)范；-ISO/IEC21838-2規(guī)定了基本形式化本體（BasicFormalOntology,BFO）的具體內(nèi)容；-ISO/IEC21838-3規(guī)定了描述性本體（DescriptiveOntologyforLinguisticandCognitiveEngineering,DOLCE）的具體內(nèi)容；-ISO/IEC21838-4，即本報告的研究對象，規(guī)定了TUpper頂層本體的具體內(nèi)容。該系列標(biāo)準(zhǔn)的技術(shù)框架源自通用本體論標(biāo)準(zhǔn)化的長期基礎(chǔ)研究，其制定由ISO/IECJTC1/SC32（數(shù)據(jù)管理與交換分技術(shù)委員會）牽頭組織，匯集了來自全球的本體論研究機(jī)構(gòu)、標(biāo)準(zhǔn)化專家以及產(chǎn)業(yè)界代表，旨在建立具有國際共識的頂層本體規(guī)范體系。1.3本報告研究目的與意義本報告旨在對ISO/IEC21838-4:2023標(biāo)準(zhǔn)的立項背景、核心內(nèi)容、技術(shù)框架和應(yīng)用前景進(jìn)行系統(tǒng)性分析。通過梳理該標(biāo)準(zhǔn)的發(fā)展脈絡(luò)和技術(shù)要點(diǎn)，本報告希望為以下群體提供參考：一是從事本體工程和知識工程研究的科研人員；二是參與語義互操作相關(guān)標(biāo)準(zhǔn)制定的標(biāo)準(zhǔn)化工作者；三是致力于企業(yè)知識圖譜構(gòu)建、數(shù)據(jù)中臺建設(shè)等實踐的技術(shù)工程師；四是關(guān)注信息化標(biāo)準(zhǔn)化戰(zhàn)略的管理與決策者。二、標(biāo)準(zhǔn)立項背景與研制過程2.1頂層本體標(biāo)準(zhǔn)化的迫切需求隨著語義網(wǎng)（SemanticWeb）、關(guān)聯(lián)數(shù)據(jù)（LinkedData）以及知識圖譜技術(shù)的廣泛應(yīng)用，本體在不同系統(tǒng)間的復(fù)用與互操作成為現(xiàn)實需求。然而，不同團(tuán)隊開發(fā)的本體在概念界定、分類方式、關(guān)系表達(dá)等方面存在顯著差異，這種"本體之間的異構(gòu)性"使得多本體環(huán)境下的知識集成仍然面臨重大挑戰(zhàn)。雖然領(lǐng)域本體可以針對特定業(yè)務(wù)場景進(jìn)行定制化建模，但其底層概念框架的差異卻難以通過領(lǐng)域?qū)用娴恼{(diào)整來消除，必須依賴更高層次的統(tǒng)一框架加以協(xié)調(diào)。頂層本體正是為應(yīng)對這一挑戰(zhàn)而提出的解決方案。一個設(shè)計良好的頂層本體可以為多個領(lǐng)域本體的開發(fā)提供共同的邏輯基礎(chǔ)和詞匯約定，從而不僅降低本體開發(fā)成本，還能顯著提升不同本體之間的互操作程度。但頂層本體自身的設(shè)計質(zhì)量、形式化嚴(yán)謹(jǐn)性以及可用性直接決定其能否有效承擔(dān)這一使命。因此，制定統(tǒng)一的頂層本體國際標(biāo)準(zhǔn)，以規(guī)范化的方式對頂層本體的設(shè)計原則、內(nèi)容結(jié)構(gòu)、公理化體系等進(jìn)行約定，成為國際標(biāo)準(zhǔn)化工作的當(dāng)務(wù)之急。2.2TUpper技術(shù)方案的提出TUpper頂層本體的研制源于對現(xiàn)有頂層本體在認(rèn)知透明性、工程實用性和邏輯嚴(yán)謹(jǐn)性之間平衡性的深入思考。TUpper的設(shè)計目標(biāo)是在不過度增加邏輯復(fù)雜度的前提下，為最廣泛的領(lǐng)域提供清晰的概念框架。具體而言，TUpper的設(shè)計遵循以下幾項關(guān)鍵原則：1.通用性（Generality）：TUpper僅包含在所有領(lǐng)域中普遍適用的概念，避免將某一特定領(lǐng)域的假設(shè)嵌入頂層框架之中；2.認(rèn)知透明性（CognitiveTransparency）：TUpper中的每個范疇都應(yīng)能從日常經(jīng)驗和自然語言直覺中得到合理解釋，降低使用者的理解和應(yīng)用門檻；3.形式化嚴(yán)謹(jǐn)性（FormalRigor）：TUpper采用形式化邏輯語言進(jìn)行公理化表達(dá)，確保其邏輯性質(zhì)得到嚴(yán)格界定，為推理和驗證提供可靠基礎(chǔ)；4.可擴(kuò)展性（Extensibility）：TUpper預(yù)留了清晰的擴(kuò)展機(jī)制，使領(lǐng)域本體可以基于TUpper框架進(jìn)行有針對性的向下細(xì)化和豐富。在上述原則的指導(dǎo)下，TUpper建立了一套既有足夠表達(dá)力又不失簡潔性的范疇體系，其技術(shù)方案經(jīng)過多輪國際研討和實際應(yīng)用檢驗，最終于2019年正式提交至ISO/IECJTC1/SC32，啟動國際標(biāo)準(zhǔn)立項程序。2.3標(biāo)準(zhǔn)研制歷程ISO/IEC21838-4的研制經(jīng)歷了嚴(yán)格的標(biāo)準(zhǔn)制定流程，其關(guān)鍵節(jié)點(diǎn)如下：-2019年:標(biāo)準(zhǔn)新工作項目提案（NewWorkItemProposal,NWIP）提交至ISO/IECJTC1/SC32并獲得批準(zhǔn)，正式成立項目工作組；-2020-2021年:工作組對各成員體提交的意見和評論進(jìn)行多輪討論和整合，不斷完善標(biāo)準(zhǔn)的規(guī)范性內(nèi)容和技術(shù)附錄，期間形成了工作草案（WorkingDraft,WD）和委員會草案（CommitteeDraft,CD）；-2022年:標(biāo)準(zhǔn)草案進(jìn)入國際標(biāo)準(zhǔn)草案（DraftInternationalStandard,DIS）投票階段，各成員國進(jìn)行為期五個月的正式投票，該階段獲得了廣泛支持；-2023年:在最終國際標(biāo)準(zhǔn)草案（FinalDraftInternationalStandard,FDIS）投票通過后，標(biāo)準(zhǔn)于2023年9月19日正式發(fā)布，編號為ISO/IEC21838-4:2023，標(biāo)準(zhǔn)狀態(tài)為現(xiàn)行（Published）。該標(biāo)準(zhǔn)的成功發(fā)布凝聚了來自多個國家的本體論研究者、知識工程專家和標(biāo)準(zhǔn)化從業(yè)者的集體智慧。在研制過程中，工作組特別重視確保TUpper與ISO/IEC21838-1中規(guī)定的頂層本體通用要求保持一致，同時通過附錄中的具體公理化表達(dá)和示例，為使用者提供了清晰的技術(shù)指引。三、標(biāo)準(zhǔn)核心技術(shù)內(nèi)容3.1TUpper的基本框架結(jié)構(gòu)TUpper頂層本體以"實體/存在"（Entity）為最頂層的范疇，向下劃分出若干根本性子范疇。其核心范疇體系建立在少量基礎(chǔ)區(qū)分之上，主要包括以下層級的劃分：（1）獨(dú)立實體（IndependentEntity）與依賴實體（DependentEntity）的區(qū)分。獨(dú)立實體指不依賴其他實體而存在的實體，如一個具體的物體、一個人；依賴實體則需要依托其他實體才能存在，如某物的顏色、某人的身高。這一區(qū)分源于亞里士多德實體-屬性（Substance-Attribute）的經(jīng)典形而上學(xué)框架，但在TUpper中被賦予了現(xiàn)代化、形式化的精確表達(dá)。（2）持續(xù)實體（Continuant）與發(fā)生實體（Occurrent）的區(qū)分。持續(xù)實體在時間中持續(xù)存在，其在任意時間切片上完全存在，如一張桌子、一臺設(shè)備；發(fā)生實體則具有時間延展性，是在時間中展開的過程或事件，如一次運(yùn)轉(zhuǎn)、一場會議。這一區(qū)分為描述動態(tài)系統(tǒng)與靜態(tài)對象提供了基礎(chǔ)性框架。（3）類型（Type）與實例（Instance）的區(qū)分。類型描述一類實體所共有的普遍特征，實例則是具體的個別實體。兩者之間的關(guān)系通過實例化關(guān)系（instantiation）加以刻畫。（4）固有屬性（IntrinsicProperty）與外向?qū)傩裕‥xtrinsicProperty）的區(qū)分。固有屬性是實體自身所具有的性質(zhì)，如質(zhì)量、密度；外向?qū)傩詣t涉及實體與外部環(huán)境或其他實體的關(guān)系性特征，如位置、所屬關(guān)系。TUpper的范疇體系并非簡單羅列，而是通過一套精心設(shè)計的公理化規(guī)則對這些范疇之間的邏輯關(guān)系進(jìn)行嚴(yán)格約束。每種范疇的引入均輔以形式化定義和公理化描述，確保范疇劃分的完備性與互斥性。3.2形式化表達(dá)ISO/IEC21838-4:2023采用形式化邏輯語言對TUpper的范疇體系進(jìn)行公理化描述。該標(biāo)準(zhǔn)規(guī)定的公理化體系支持在描述邏輯（DescriptionLogic）框架下的推理查詢，也能映射到一階邏輯環(huán)境進(jìn)行更嚴(yán)格的一致性驗證。標(biāo)準(zhǔn)附錄中提供了完整的邏輯形式化表達(dá)，包括范疇的定義公理、約束公理以及對主要關(guān)系的邏輯特征（如傳遞性、自反性、反對稱性等）的刻畫。這些形式化表達(dá)不僅為人類用戶理解TUpper的概念體系提供了精確參照，更為計算機(jī)系統(tǒng)實現(xiàn)基于TUpper的自動推理和一致性檢驗提供了可計算的基礎(chǔ)。3.3領(lǐng)域適配與擴(kuò)展機(jī)制TUpper在頂層框架之下設(shè)計了系統(tǒng)化的領(lǐng)域適配機(jī)制，使各類領(lǐng)域本體能夠在保持與TUpper兼容的前提下進(jìn)行靈活的細(xì)化和擴(kuò)展。該機(jī)制涵蓋如下層面：-范疇細(xì)化：領(lǐng)域本體可以在TUpper范疇的子類層級中加入面向領(lǐng)域的子范疇，而不改變TUpper的頂層結(jié)構(gòu)；-關(guān)系豐富：領(lǐng)域本體可以定義領(lǐng)域特有的對象屬性（ObjectProperties）和數(shù)據(jù)屬性（DataProperties），這些屬性須在TUpper關(guān)系框架中得到合理定位；-約束補(bǔ)充：領(lǐng)域本體可以針對特定場景增加更為嚴(yán)格的約束條件，但不得與TUpper的公理化體系相沖突。通過這一靈活的擴(kuò)展機(jī)制，TUpper既避免了頂層本體過于空泛、無法指導(dǎo)實踐的問題，又在源頭上有效保障了各領(lǐng)域本體間的語義兼容性。3.4與其他頂層本體的兼容性ISO/IEC21838系列的一個重要設(shè)計理念是允許多種頂層本體共存，并建立它們之間的映射關(guān)系。TUpper與同一系列中的BFO和DOLCE之間保持著可映射、可轉(zhuǎn)換的關(guān)系。標(biāo)準(zhǔn)文本中提供了TUpper與BFO、DOLCE之間主要范疇的對應(yīng)關(guān)系說明，這為在不同頂層本體框架下構(gòu)建的領(lǐng)域本體之間實現(xiàn)語義互通提供了有力保障，也為用戶根據(jù)自身應(yīng)用場景選擇適當(dāng)?shù)捻攲颖倔w提供了決策依據(jù)。四、標(biāo)準(zhǔn)主要參與單位與貢獻(xiàn)ISO/IEC21838-4:2023標(biāo)準(zhǔn)的制定凝聚了全球多個學(xué)術(shù)機(jī)構(gòu)、標(biāo)準(zhǔn)化組織和產(chǎn)業(yè)界代表的力量，其中最為核心的貢獻(xiàn)方之一為美國布法羅大學(xué)（UniversityatBuffalo）下屬的應(yīng)用本體學(xué)實驗室（NationalCenterforOntologicalResearch,NCOR）的核心團(tuán)隊。4.1核心研制機(jī)構(gòu)——布法羅大學(xué)應(yīng)用本體學(xué)實驗室布法羅大學(xué)應(yīng)用本體學(xué)實驗室是世界公認(rèn)的本體工程與形式本體論研究重鎮(zhèn)，長期致力于基礎(chǔ)本體的理論研究和工程應(yīng)用，在頂層本體設(shè)計、公理化方法、本體評估等方面擁有深厚積累。該實驗室的核心研究團(tuán)隊由BarrySmith教授領(lǐng)銜。BarrySmith是當(dāng)代應(yīng)用本體論領(lǐng)域的奠基人之一，也是一系列國際本體標(biāo)準(zhǔn)的推動者和起草者。他同時是ISO/IEC21838系列標(biāo)準(zhǔn)各部分的起草協(xié)調(diào)人之一，深度參與了BFO、TUpper等多種頂層本體的開發(fā)與標(biāo)準(zhǔn)化工作。在TUpper標(biāo)準(zhǔn)的研制過程中，布法羅大學(xué)團(tuán)隊承擔(dān)了以下關(guān)鍵任務(wù)：-頂層范疇體系設(shè)計：主導(dǎo)設(shè)計了TUpper的基礎(chǔ)范疇框架，確保其在哲學(xué)嚴(yán)謹(jǐn)性與工程實用性之間取得平衡；-公理化表達(dá)與邏輯驗證：負(fù)責(zé)撰寫標(biāo)準(zhǔn)中形式化公理的核心文本，并利用自動定理證明工具對公理化體系的一致性進(jìn)行了系統(tǒng)驗證；-與其他頂層本體的對齊映射：主導(dǎo)完成了TUpper與BFO、DOLCE之間的范疇映射分析；-應(yīng)用案例開發(fā)：開發(fā)了多個領(lǐng)域的參考應(yīng)用案例，用于驗證TUpper的適用性；-標(biāo)準(zhǔn)文本編纂與修訂協(xié)調(diào)：負(fù)責(zé)標(biāo)準(zhǔn)草案的起草和文本編纂工作，并協(xié)調(diào)各成員體反饋意見的處理工作，推動了標(biāo)準(zhǔn)從工作草案到最終國際標(biāo)準(zhǔn)草案各階段的順利推進(jìn)。值得指出的是，該實驗室還深度參與了ISO/IEC21838-2（BFO）和ISO/IEC21838-3（DOLCE）等系列標(biāo)準(zhǔn)的研制，其在該系列標(biāo)準(zhǔn)中的總體協(xié)調(diào)作用對于確保各部分之間的內(nèi)部一致性具有不可替代的重要作用。4.2其他重要參與方除布法羅大學(xué)外，ISO/IEC21838-4的研制還得到了來自多個國家的標(biāo)準(zhǔn)化機(jī)構(gòu)和技術(shù)組織的支持。德國、法國、日本、中國等國家的標(biāo)準(zhǔn)化專家積極參與了標(biāo)準(zhǔn)草案的評論、審閱與測試工作。來自意大利的DOLCE本體研制團(tuán)隊（部分成員來自意大利布魯諾·凱斯勒基金會）也在標(biāo)準(zhǔn)的技術(shù)討論中發(fā)揮了積極作用，特別是在TUpper與DOLCE的映射關(guān)系方面提供了關(guān)鍵技術(shù)支持。此外，部分工業(yè)界的語義技術(shù)企業(yè)和知識圖譜開發(fā)商也為標(biāo)準(zhǔn)的應(yīng)用驗證提供了實踐場景和反饋意見，增強(qiáng)了標(biāo)準(zhǔn)的工程適用性。五、標(biāo)準(zhǔn)應(yīng)用價值與前景展望5.1應(yīng)用價值分析TUpper標(biāo)準(zhǔn)的發(fā)布為多個領(lǐng)域的知識工程和語義互操作實踐提供了重要的標(biāo)準(zhǔn)化支撐。其應(yīng)用價值主要體現(xiàn)在以下方面：（1）跨系統(tǒng)語義互操作方面。TUpper為不同系統(tǒng)間實現(xiàn)語義級互操作提供了統(tǒng)一的參考框架。在數(shù)據(jù)集成過程中，各參與系統(tǒng)的數(shù)據(jù)模型可以分別映射到TUpper框架之上，從而通過TUpper作為中間橋梁實現(xiàn)概念