本體 (資訊科學)

表達概念之間關係的模型

電腦科學資訊科學中,本體是指對概念、數據和實體之間的類別、屬性和關係的表示、命名和定義,這些概念、數據和實體構成了一個、大量或所有的論域[1]。本體提供的是特定領域之中那些存在着的對象類型或概念及其屬性和相互關係[2];或者說,本體就是一種特殊類型的術語集,具有結構化的特點,且更加適合於在電腦系統之中使用;或者說,本體實際上就是「對特定領域之中某套概念及其相互之間關係的形式化表達(formal representation)」。本體是人們以自己興趣領域知識為素材,運用資訊科學的本體論原理而編寫出來的作品英語Artifact (software development)。本體一般可以用來針對該領域的屬性進行推理,亦可用於定義該領域(也就是對該領域進行建模)。此外,有時人們也會將本體稱為本體論

簡單的本體範例:關於動物概念及其相互關係所構成的語意網絡

作為一種關於現實世界或其中某個組成部分的知識表達形式,本體目前的應用領域包括(但不僅限於):人工智能語意網軟件工程生物醫學資訊科學圖書館學以及資訊架構

概述

英文術語「ontology」一詞源於哲學領域,且一直以來存在着許多不同的用法。在電腦科學領域,其核心意思是指一種模型,用於描述由一套對象類型(概念或者說)、屬性以及關係類型所構成的世界。儘管不同的本體對於這些構成成分的確切稱謂有所不同,但它們卻都是一部本體不可或缺的基本要素。一般來說,人們所普遍期望的一點就是,本體之中模型的那些特徵應當非常類似於相應的現實世界[3]

就電腦科學與哲學來說,二者所說的本體之間的共同之處就在於,它們都是依據某種類別體系,來表達實體概念、事件及其屬性和相互關係。在這兩個領域當中,存在針對本體相對性(ontological relativity)的種種問題(比如,哲學領域的奎因克里普克,電腦科學領域的索瓦英語John F. Sowa高利諾英語Nicola Guarino),人們已經和正在開展相當大量的工作[4];而且,人們也在討論關於規範化本體是否具有生命活力(比如,哲學領域之中針對基礎主義(foundationalism)的討論,人工智能領域之中針對Cyc專案的討論)。二者之間的那些差別在很大程度上只是側重點的問題。與電腦科學領域的研究人員相比,哲學家們則較少關心建立固定不變的受控詞表。然而,電腦科學家們則較少參與有關首要原則的討論(比如,關於是否存在諸如不變本質fixed essences)之類事物的討論,或者關於實體在本體論上必定比過程更為基本的討論)。

歷史

 
奧格登理查茲英語I. A. Richards語意三角[5]
 
語意三角事物概念符號之間的關係

從歷史上來看,本體源自哲學之中稱為「形而上學」的分支。形而上學所關注的是現實本質,也就是存在的本質。作為哲學的一個基本分支,形而上學關注的是分析存在的各種類型或模式,且往往尤其關注共相殊相之間的關係、本徵性質與非本徵性質英語Intrinsic and extrinsic properties之間的關係以及本質存在之間的關係。本體論探索活動的傳統目標尤其是,為了揭示那些基本的類別或者說種類,而在關鍵之處將現實世界劃分為對象的自然類別[6]

二十世紀下半葉,哲學家們就如何構建本體的可行方法或途徑展開過廣泛的討論,但實際上他們自己卻並沒有真正「構建」出任何非常精細詳盡的本體。與此相比,電腦科學家們當時則正在構建着一些大型而又穩健的本體(如WordNetCyc),但相對來說卻很少針對「如何」構建本體而進行辯論。

自二十世紀70年代中期以來,人工智能(簡稱AI)領域的研究人員認識到,知識的取得乃是構建強大AI系統的關鍵所在。AI研究人員認為,他們可以把新的本體建立成為計算模型,從而成就特定類型的自動推理。二十世紀80年代,AI領域就開始採用術語ontology來同時指稱關於模型化世界的一種理論以及知識系統的一種組件。藉助於來自哲學本體論的靈感,一些研究人員繼而把電腦本體論視為一種應用哲學[7]

二十世紀90年代初期,湯姆·格魯伯英語Tom Gruber發表了一篇後來得到廣泛參照的網頁和論文邁向共享創意型本體的設計原則[8]。之所以該論文獲得人們如此的青睞,那要歸功於其中格魯伯對於電腦科學術語ontology」的審慎定義。格魯伯採用這條術語來指一種對於某一概念體系概念表達概念化過程)(conceptualization)的詳細說明specification,明確表述)。也就是說,就像關於特定程式的形式化規格說明(形式化規約)那樣,本體就是對那些可能相對於某一智能體(agent)或智能體群體而存在的概念和關係的一種描述。這項定義與「ontology」作為「概念定義之集合」的用法是一致的,但相對來說要顯得更為通用。不過,這個單詞在此的含義卻有別於哲學領域對它的用法

本體往往等同於那些由各種類、類之定義以及歸類關係(subsumption relation)所構成的分類法階層,但本體並不一定僅限於此類形式。同時,本體也並不局限於保守型的定義(也就是傳統邏輯學意義上的那些定義,它們所引入和採用的僅僅是術語,而沒有添加任何有關現實世界的知識)[9]。要明確而又詳細地說明所要表達的某個概念之時,我們需要聲明若干的公理,從而對所定義術語的那些可能解釋加以約束和限制[10]

在二十一世紀伊始的頭幾年,認知科學跨學科專案一直在將這兩個領域的學者群體拉得更近[來源請求]。例如,有人談到「哲學領域當中的電腦化轉變」。在這種轉變當中,包括哲學家們分析電腦科學領域所編制的形式化本體(有時甚至還在工作中直接運用電腦軟件),而與此同時,電腦科學領域的研究人員也在越來越多地參照那些致力於本體論的哲學家們的研究工作(有時甚至還是後者方法的直接結果)。不過,在這兩個領域當中,依然有許多學者並未順從認知科學的這種發展趨勢,並且仍繼續相互獨立地開展着自己的工作,分別從事着各自的所關心的事情。

本體構成要素

 
軟件工程領域之中所常見的實體關係模型
 
交通工具本體的局部:「Car」(汽車)這個類擁有兩個子類「2-Wheel Drive Car」(兩輪驅動型汽車)和「4-Wheel Drive Car」(四輪驅動型汽車)
 
關係:「Ford Explorer」(福特探索者)是一種「4-Wheel Drive Car」(四輪驅動型汽車),而後者則是一種「Car」(汽車)

就現有的各種本體而言,無論其在表達上採用的究竟是何種語言,在結構上都具有許多的相似性。如前所述,大多數本體描述的都是個體(實例)、類(概念)、屬性以及關係。在這一節當中,我們將分別依次論述本體的這些構成要素。

常見的本體構成要素包括:

  • 個體(實例):基礎的或者說「底層的」對象。
  • 類:集合sets)、概念、對象類型或者說事物的種類[註釋 1]
  • 屬性:對象(和類)所可能具有的屬性、特徵、特性、特點和參數。
  • 關係:類與個體之間的彼此關聯所可能具有的方式。
  • 函數術語:在宣告當中,可用來代替具體術語的特定關系所構成的複雜結構。
  • 約束(限制):採取形式化方式所聲明的,關於接受某項斷言作為輸入而必須成立的情況的描述。。
  • 規則:用於描述可以依據特定形式的某項斷言所能夠得出的邏輯推論的,if-then(前因-後果)式陳述式形式的聲明。
  • 公理:採取特定邏輯形式的斷言(包括規則在內)所共同構成的就是其本體在相應應用領域當中所描述的整個理論。這種定義有別於產生式語法和形式邏輯當中所說的「公理」。在這些學科當中,公理之中僅僅包括那些被斷言為先驗知識的聲明。就這裏的用法而言,「公理」之中還包括依據公理型聲明所推導得出的理論。
  • 事件 (哲學):屬性或關係的變化。

領域本體與上層本體

 
通用形式化本體英語General Formal OntologyGeneral Formal Ontology,GFO)的基本分類樹

領域本體domain ontology或者說domain-specific ontology,即領域特異性本體)所建模的是某個特定領域,或者現實世界的一部分。領域本體所表達的是那些適合於該領域的那些術語的特殊含義。例如,就拿具有許多種含義的英文單詞card」來說。關於撲克領域的本體可能會賦予該詞以「打撲克」的意思,而關於電腦硬件領域的本體則可能會賦予其「穿孔卡片」和「影片卡」的意思。

上層本體英語Upper ontology (computer science)upper ontology或者說foundation ontology,即基礎本體)是指一種由那些在各種各樣的領域本體之中都普遍適用的共同對象所構成的模型。其中所收錄的核心詞表英語Core glossary,可以用來描述一套領域當中的對象。目前,存在着幾部現成可用的標準化上層本體,包括都柏林核心通用形式化本體英語General Formal OntologyGeneral Formal Ontology,GFO)、OpenCyc/Cyc推薦上層合併本體英語Suggested Upper Merged OntologySuggested Upper Merged Ontology,SUMO)以及DOLCE頁面存檔備份,存於互聯網檔案館)。另外,有些人認為WordNet屬於上層本體,但實際上它並不是一部本體:WordNet只是由一部分類法taxonomy)與一部受控詞表所形成的獨特組合(參見上述關於「屬性」方面的內容)。

Gellish英語Gellish本體則是一個關於上層本體與領域本體彼此組合的例子。

領域本體在表達概念時採用的是非常特殊而又往往具有選擇性的方式,因而它們常常缺乏相容性。隨着那些依賴於領域本體的系統的擴充,它們往往需要將不同的領域本體合併成一部更為通用的表達形式。對於本體設計者來說,這就提出了一項富有挑戰性的難題。在同一領域內,由於文化背景、受教育程度以及意識形態的不同所造成的,對於該領域感知perceptions)情況的不同,或者因為所採用的表達語言的不同,還可能出現不同的本體。

當前,對於那些並非依據同一部基礎本體所編制的本體的合併工作,在很大程度上還是一種手工過程,因而既耗費時間又成本高昂。那些利用同一部基礎本體所提供的一套基本元素來規定領域本體元素之含義的領域本體,則可以實現自動化的合併。目前,存在着多項針對本體合併方面的通用技術方法的研究工作,但這個方面的研究在很大程度上依然還處於理論層面。

本體工程

本體工程,又稱為本體構建本體編制本體開發,是一個旨在研究有關構建本體的方法和方法學的領域。本體工程研究的內容包括本體開發過程、本體生命周期、本體構建方法及方法學,以及為這些方面提供支援的工具包和語言[11][12]

本體工程旨在讓軟件應用程式、企事業單位、組織機構以及特定領域業務操作過程之中所包含的那些知識變得明確清晰。本體工程為解決語意障礙所造成的互操作性問題指出了一個方向。比如,那些與業務術語和軟件類的定義相關的障礙。本體工程實際上就是一套與特定領域之中的本體開發與編制工作相關的任務[13]

本體語言

 
英國牛津大學電腦科學教授伊恩·霍洛克斯英語Ian Horrocks

本體一般都是採用本體語言來編制的。本體語言,又稱為「本體論語言」,是一種用於編制本體的形式化語言。目前,存在着許許多多此類的本體語言,既包括專有的,也包括基於標準的:

已公開發布的本體的例子

 
視覺化方式展現的本體範例:Mason本體。
 
關於地球表面的及其模式的概念圖

本體庫

[[0101031 SemanticMediaWiki Logo.png|thumb|300px|MediaWiki的擴充:可在Wiki網頁之中標註語意數據Semantic MediaWiki(SMW)。]] 為互聯網開發各種本體的工作,已經孕育出那些具有搜尋功能的,提供本體目錄directories)或列表的服務。此類目錄就稱為「本體庫」。

如下是一些採用人工方式選擇出來的本體所構成靜態

  • CO-ODE專案本體庫[43]:提供的是一些與CO-ODE專案相關的本體範例和本體資源連結。
  • DAML本體庫(DAML Ontology Library)[44]之中儲存的是那些採用DAML格式的歷史遺留本體。
  • Protege本體庫(Protege Ontology Library)[45]之中收錄的是一套採用OWL格式、基於框架的格式以及其他格式的本體。
  • SchemaWeb[46]則是一個由採用RDFS、OWL以及DAML+OIL格式所表達的RDF模式(RDF schemata)而構成的目錄。

下列這些即是目錄,同時又是搜尋引擎。其中,包括用於在互聯網上搜尋良構性本體的搜尋器

  • OBO Foundry / Bioportal[47]生物學生物醫學biomedicine)領域的一套具備互操作性的參考本體。
  • OntoSelect Ontology Library(OntoSelect本體庫)[48]提供的是多種類似的,適用於RDF/S、DAML以及OWL本體的服務。
  • Ontaria[49]是「一個可以搜尋和瀏覽的語意網數據目錄,且側重於RDF詞表以及OWL本體」。
  • Swoogle是一個目錄和搜尋引擎,適用於互聯網上現成可用的所有RDF資源,包括各種本體。

常用本體工具

 
Protégé本體編輯器之中所顯示的OWL格式比薩餅本體的層級結構: 「素比薩餅」

本體伺服器

本體編輯器

用於編纂本體的軟件編輯器稱為「本體編輯器ontology editor)」,有時又稱為「本體論編輯器」。

參見

相關哲學概念

參考文獻

  1. ^ (英文) Tom Gruber (1993). "A translation approach to portable ontology specifications"頁面存檔備份,存於互聯網檔案館). In: Knowledge Acquisition. 5: 199-199.
  2. ^ (英文)Fredrik Arvidsson and Annika Flycht-Eriksson. Ontologies I頁面存檔備份,存於互聯網檔案館). Retrieved 26 Nov 2008.
  3. ^ (英文)Lars Marius Garshol (2004). Metadata? Thesauri? Taxonomies? Topic Maps! Making sense of it all 互聯網檔案館存檔,存檔日期2008-10-17. on www.ontopia.net. Retrieved 13 October 2008.
  4. ^ (英文)(Top-level ontological categories. By: Sowa, John F. In International Journal of Human-Computer Studies, v. 43 (November/December 1995) p. 669-85.),
  5. ^ (英文)C. K. Ogden and I. A. Richards (1923) The Meaning of Meaning英語The Meaning of Meaning
  6. ^ 6.0 6.1 (英文) Perakath C. Benjamin et al. (1994). IDEF5 Method Report頁面存檔備份,存於互聯網檔案館). Knowledge Based Systems, Inc.
  7. ^ (英文) Tom Gruber (2008). "Ontology"頁面存檔備份,存於互聯網檔案館). To appear in the Encyclopedia of Database Systems, Ling Liu and M. Tamer Özsu (Eds.), Springer-Verlag, 2008.
  8. ^ (英文)Gruber, T. R., "Toward Principles for the Design of Ontologies Used for Knowledge Sharing". In: International Journal Human-Computer Studies, 43(5-6):907-928, 1995
  9. ^ (英文)Enderton, H. B. (1972). A Mathematical Introduction to Logic. San Diego, CA: Academic Press.
  10. ^ (英文) Gruber, T. R. (1993). "A translation approach to portable ontologies". In: Knowledge Acquisition. 5(2):199-220, 1993.
  11. ^ (英文) Asunción Gómez-Pérez, Mariano Fernández-López, Oscar Corcho (2004). Ontological Engineering: With Examples from the Areas of Knowledge Management, E-commerce and the Semantic Web. Springer, 2004.
  12. ^ (英文) A. De Nicola, M. Missikoff, R. Navigli (2009). "A Software Engineering Approach to Ontology Building"頁面存檔備份,存於互聯網檔案館). Information Systems, 34(2), Elsevier, 2009, pp. 258-275.
  13. ^ (英文) Line Pouchard, Nenad Ivezic and Craig Schlenoff (2000). "Ontology Engineering for Distributed Collaboration in Manufacturing"頁面存檔備份,存於互聯網檔案館), In Proceedings of the AIS2000 conference, March 2000.
  14. ^ Common Logic Working Group Documents. [2009-03-08]. (原始內容存檔於2009年3月1日) (英語). 
  15. ^ OpenCyc FAQ. [2009-03-08]. (原始內容存檔於2009-03-14) (英語). 
  16. ^ SourceForge.net: Gellish - A Product Modeling Language. [2009-03-08]. (原始內容存檔於2007-03-11) (英語). 
  17. ^ Knowledge Interchange Format. [2009-03-08]. (原始內容存檔於2009-02-27) (英語). 
  18. ^ Rule Interchange Format (RIF) Working Group - RIF. [2009-03-08]. (原始內容存檔於2008-10-12) (英語). 
  19. ^ OWL Web Ontology Language Overview. [2009-03-08]. (原始內容存檔於2009-03-13) (英語). 
  20. ^ Amino Acid Ontology. [2009-03-07]. (原始內容存檔於2008-07-05) (英語). 
  21. ^ Basic Formal Ontology (BFO). [2009-03-05]. (原始內容存檔於2009-02-25) (英語). 
  22. ^ BioPAX. [2009-03-05]. (原始內容存檔於2011-06-25) (英語). 
  23. ^ CCO. [2009-03-05]. (原始內容存檔於2019-02-15) (英語). 
  24. ^ CContology. [2009-03-05]. (原始內容存檔於2009-03-16) (英語). 
  25. ^ CIDOC Conceptual Reference Model. [2009-03-05]. (原始內容存檔於2010-01-05) (英語). 
  26. ^ COSMO. [2009-03-05]. (原始內容存檔於2009-02-17) (英語). 
  27. ^ Disease Ontology. [2009-03-05]. (原始內容存檔於2008-12-28) (英語). 
  28. ^ DOLCE. [2009-03-05]. (原始內容存檔於2009-04-16) (英語). 
  29. ^ Foundational, Core and Linguistic Ontologies. [2009-03-05]. (原始內容存檔於2009-05-09) (英語). 
  30. ^ Foundational Model of Anatomy. [2009-03-05]. (原始內容存檔於2002-10-22) (英語). 
  31. ^ CO-ODE: Galen in OWL. [2009-03-07]. (原始內容存檔於2008-07-05) (英語). 
  32. ^ (英文) A. Rector and J. Rogers. Ontological Issues in using a Description Logic to Represent Medical Concepts: Experience from GALEN頁面存檔備份,存於互聯網檔案館). In IMIA WG6 Workshop, 1999.
  33. ^ Generalized Upper Model. [2009-03-05]. (原始內容存檔於2009-02-23) (英語). 
  34. ^ Gellish. [2009-03-05]. (原始內容存檔於2012-12-20) (英語). 
  35. ^ GOLD. [2009-03-05]. (原始內容存檔於2009-04-06) (英語). 
  36. ^ The IDEAS Group Website. [2009-03-05]. (原始內容存檔於2018-12-16) (英語). 
  37. ^ Linkbase. [2009-03-05]. (原始內容存檔於2008-09-18) (英語). 
  38. ^ Plant Ontology. [2009-03-05]. (原始內容存檔於2009-02-26) (英語). 
  39. ^ PRO. [2009-03-05]. (原始內容存檔於2011-03-10) (英語). 
  40. ^ Program abstraction taxonomy (PDF). [2009-03-05]. (原始內容 (PDF)存檔於2009-01-24) (英語). 
  41. ^ Protein Ontology. [2009-03-05]. (原始內容存檔於2009-01-06) (英語). 
  42. ^ SWEET. [2009-03-05]. (原始內容存檔於2011-04-11) (英語). 
  43. ^ CO-ODE > Ontologies. [2009-03-07]. (原始內容存檔於2009-03-02) (英語). 
  44. ^ DAML Ontology Library. [2009-03-05]. (原始內容存檔於2009-02-25) (英語). 
  45. ^ Protege Ontology Library. [2009-03-05]. (原始內容存檔於2009-02-28) (英語). 
  46. ^ SchemaWeb. [2009-03-05]. (原始內容存檔於2011-08-10) (英語). 
  47. ^ OBO Foundry / Bioportal. [2009-03-05]. (原始內容存檔於2009-02-28) (英語). 
  48. ^ OntoSelect. [2009-03-05]. (原始內容存檔於2010-11-11) (英語). 
  49. ^ Ontaria - Easy Access to the Semantic Web. [2009-03-05]. (原始內容存檔於2009-02-22) (英語). 

註釋

  1. ^ 請參見類 (集合論), 類 (電腦科學)以及類 (哲學);三者均與當前所說的概念「類」相關,但卻並不完全相同。
  2. ^ 如前所述,關於WordNet是否屬於本體,人們尚未完全達成一致意見。

延伸閱讀

外部連結