本? (信息科?)

本页使用了标题或全文手工转换
?基百科，自由的百科全?
??的本?示例：?于 ?物 的 ?念 及其 相互?系 所?成的 ????

在 ?算机科? 和 信息科? 中， 本? 是指??念、?据和??之?的??、?性和?系的表示、命名和定?，?些?念、?据和 ?? ?成了一?、大量或所有的 ?域 [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] 。

二十世?下半?， 哲?家 ?就如何?建本?的可行方法或途?展???泛的??，但??上他?自己却??有?正“?建”出任何非常精???的本?。?此相比， ?算机科?家 ????正在?建着一些大型而又?健的本?（如 WordNet 和 Cyc ），但相???却?少??“如何”?建本?而?行??。

自二十世?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 Ontology ） （ General Formal Ontology ，GFO）的基本分??

?域本? （ domain ontology 或者? domain-specific ontology ，? ?域特?性本? ）所建模的是某?特定?域，或者??世界的一部分。?域本?所表?的是那些适合于??域的那些??的特殊含?。例如，就拿具有?多?含?的 英文 ?? “ card ”??。?于 ?克 ?域的本?可能??予??以“ 打?克 ”的意思，而?于 ?算机硬件 ?域的本??可能??予其“ 穿孔?片 ”和“ ??? ”的意思。

上?本? （ 英? ： Upper ontology (computer science) ） （ upper ontology 或者? foundation ontology ，? 基?本? ）是指一?由那些在各?各?的?域本?之中都普遍适用的共同?象所?成的模型。其中所收?的 核心?表 （ 英? ： Core glossary ） ，可以用?描述一套?域?中的?象。目前，存在着?部?成可用的?准化上?本?，包括 都柏林核心 、 通用形式化本? （ 英? ： General Formal Ontology ） （ General Formal Ontology ，GFO）、 OpenCyc / Cyc 、 推?上?合?本? （ 英? ： Suggested Upper Merged Ontology ） （ Suggested 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?源，包括各?本?。

常用本?工具 [ ?? ]

Protege 本???器之中所?示的 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 Ozsu (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. ^ （英文） Asuncion Gomez-Perez, Mariano Fernandez-Lopez, 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是否?于本?，人??未完全?成一致意?。

延伸?? [ ?? ]

外部?接 [ ?? ]

?基共享?源 上的相?多媒??源： 本?
領域
水利
土木 建築
交通
工業工程
机械
電機 電子 通訊
信息
能源
化?工程
醫 藥 護理
農業
環境科技
?育技術學
應用科學
軍事
其他領域
組件
技?史
信息技??育
理論 （ 英? ： Theories of technology ）
和?念
其他
??
  • FAST
各地
??
取自“ https://zh.wikipedia.org/w/index.php?title=本?_(信息科?)&oldid=80120950 ”