檢視本體 (資訊科學) 的原始碼

{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
! <p style="background:	#D6A4AB; color: #000000; margin:auto; padding:5px 0; "> '''本體''' </p>
|-
|<center><img src="https://miro.medium.com/max/1200/1*rzXqRALMdX96fSIpizKS5g.png" width="280"></center><small>[https://nirvana20121370.medium.com/%E8%AB%96%E6%96%87%E7%AD%86%E8%A8%98-%E4%B8%80-%E6%9C%AC%E9%AB%94%E8%AB%96-%E8%AA%8D%E8%AD%98%E8%AB%96-%E6%96%B9%E6%B3%95%E8%AB%96%E8%88%87%E7%A0%94%E7%A9%B6%E6%96%B9%E6%B3%95-1-2efc96a3fcbe 圖片來自medium]
</small> 
|}

在[[计算机科学]]和[[信息科学]]中，'''本体'''是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义，这些概念、数据和[[实体]]构成了一个、大量或所有的[[论域]]。

==介紹==
本体提供的是特定领域之中那些存在着的[[对象]][[类型]]或概念及其属性和[[关系 (数学)|相互关系]]<ref>Fredrik Arvidsson and Annika Flycht-Eriksson. [http://www.ida.liu.se/~janma/SemWeb/Slides/ontologies1.pdf Ontologies I] Retrieved 26 Nov 2008.</ref>；或者说，本体就是一种特殊类型的[[术语集]]，具有结构化的特点，且更加适合于在[[信息系统|计算机系统]]之中使用；或者说，本体实际上就是「对特定[[论域|领域]]之中某套[[概念]]及其相互之间[[关系 (数学)|关系]]的形式化表达」。

本体是人们以自己兴趣[[论域|领域]]的[[知识]]为素材，运用信息科学的'''本体论'''原理而编写出来的工件 (软件开发)。本体一般可以用来针对该领域的属性进行[[推理]]，亦可用于定义该领域（也就是对该领域进行建模）。此外，有时人们也会将本体称为'''本体论'''。

作为一种关于[[现实]][[世界]]或其中某个组成部分的知识表达形式，本体目前的应用领域包括（但不仅限于）：[[人工智能]]、[[语义网]]、[[软件工程]]、 [[生物医学信息学]]、[[图书馆学]]以及[[資訊架構|信息架构]]。

== 概述 ==
英文术语“''ontology''”一词源于[[哲学]]领域，且一直以来存在着许多不同的用法。在[[计算机科学]]领域，其核心意思是指一种模型，用于描述由一套对象类型（''概念''或者说''类''）、属性以及关系类型所构成的世界。尽管不同的本体对于这些构成成分的确切称谓有所不同，但它们却都是一部本体不可或缺的基本要素。一般来说，人们所普遍期望的一点就是，本体之中模型的那些特征应当非常类似于相应的现实世界<ref>Lars Marius Garshol (2004). [http://www.ontopia.net/topicmaps/materials/tm-vs-thesauri.html#N773 ''Metadata? Thesauri? Taxonomies? Topic Maps! Making sense of it all'']  on www.ontopia.net. Retrieved 13 October 2008.</ref>。

就计算机科学与哲学来说，二者所说的本体之间的共同之处就在于，它们都是依据某种类别体系，来表达[[实体]]、[[概念]]、事件及其属性和相互关系。在这两个领域当中，存在针对本体相对性的种种问题（比如，哲学领域的[[威拉德•冯•奥曼•蒯因|奎因]]和[[克里普克]]，计算机科学领域的约翰•索瓦和尼古拉•高利诺|Nicola Guarino|高利诺}}），人们已经和正在开展相当大量的工作<ref>(Top-level ontological categories. By: Sowa, John F. In International Journal of Human-Computer Studies, v. 43 (November/December 1995) p. 669-85.),</ref>；而且，人们也在讨论关于规范化本体是否具有生命活力（比如，哲学领域之中针对基础主义（foundationalism）的讨论，人工智能领域之中针对[[Cyc]]项目的讨论）。二者之间的那些差别在很大程度上只是侧重点的问题。与计算机科学领域的研究人员相比，哲学家们则较少关心建立固定不变的[[受控词表]]。

然而，计算机科学家们则较少参与有关首要原则的讨论（比如，关于是否存在诸如[[不变本质]]之类事物的讨论，或者关于实体在本体论上必定比过程更为基本的讨论）。

== 历史 ==
从历史上来看，本体源自[[哲学]]之中称为“[[形而上学]]”的分支。形而上学所关注的是[[现实]]的[[本质]]，也就是[[存在]]的本质。作为哲学的一个基本分支，形而上学关注的是分析存在的各种类型或模式，且往往尤其关注[[共相]]与[[殊相]]之间的关系、本征性质与非本征性质之间的关系以及[[本质]]与[[存在]]之间的关系。本体论探索活动的传统目标尤其是，为了揭示那些基本的类别或者说种类，而在关键之处将现实世界划分为对象的自然类别<ref name="PCB94"> Perakath C. Benjamin et al. (1994). [http://www.idef.com/pdf/Idef5.pdf ''IDEF5 Method Report''] Knowledge Based Systems, Inc.</ref>。

二十世纪下半叶，[[哲学家]]们就如何构建本体的可行方法或途径展开过广泛的讨论，但实际上他们自己却并没有真正“构建”出任何非常精细详尽的本体。与此相比，[[计算机科学家]]们当时则正在构建着一些大型而又稳健的本体（如[[WordNet]]和[[Cyc]]），但相对来说却很少针对“如何”构建本体而进行辩论。

自二十世纪70年代中期以来，[[人工智能]]（简称''AI''）领域的研究人员认识到，知识的获取乃是构建强大AI系统的关键所在。AI研究人员认为，他们可以把新的本体创建成为[[计算模型]]，从而成就特定类型的[[自动推理]]。二十世纪80年代，AI领域就开始采用术语''ontology''来同时指称关于模型化世界的一种理论以及知识系统的一种组件。借助于来自哲学本体论的灵感，一些研究人员继而把计算机本体论视为一种[[应用哲学]]<ref name ="TG08">Tom Gruber (2008). [http://tomgruber.org/writing/ontology-definition-2007.htm "Ontology"] . To appear in the ''Encyclopedia of Database Systems'', Ling Liu and M. Tamer Özsu (Eds.), Springer-Verlag, 2008.</ref>。

二十世纪90年代初期，汤姆•格鲁伯发表了一篇后来得到广泛引用的网页和[[论文]]《''迈向知识共享型本体的设计原则''》。之所以该论文获得人们如此的青睐，那要归功于其中格鲁伯对于[[计算机科学]][[术语]]“''ontology''”的审慎定义。格鲁伯采用这条术语来指一种对于某一''概念体系''（''概念表达''或''概念化过程''）的''详细说明''。也就是说，就像关于特定程序的形式化规格说明（形式化规约）那样，本体就是对那些可能相对于某一智能体（agent）或智能体群体而存在的概念和关系的一种描述。这项定义与“ontology”作为“概念定义之集合”的用法是一致的，但相对来说要显得更为通用。不过，这个单词在此的含义却有别于哲学领域对它的[[本体论 (哲学)|用法]]。

[[本体]]往往等同于那些由各种类、类之[[定义]]以及归类关系所构成的分类法层次结构，但本体并不一定仅限于此类形式。同时，本体也并不局限于保守型的定义（也就是传统[[逻辑|逻辑学]]意义上的那些定义，它们所引入和采用的仅仅是[[术语]]，而没有添加任何有关现实世界的知识）<ref>Enderton, H. B. (1972). ''A Mathematical Introduction to Logic''. San Diego, CA: Academic Press.</ref>。要明确而又详细地说明所要表达的某个概念之时，我们需要声明若干的[[公理]]，从而对所定义术语的那些可能解释加以约束和限制。

在二十一世纪伊始的头几年，[[认知科学]]的[[学科交叉|跨学科]]项目一直在将这两个领域的学者群体拉得更近。例如，有人谈到“哲学领域当中的计算机化转变”。在这种转变当中，包括[[哲学家]]们分析计算机科学领域所编制的形式化本体（有时甚至还在工作中直接运用[[软件|计算机软件]]），而与此同时，计算机科学领域的研究人员也在越来越多地引用那些致力于本体论的哲学家们的研究工作（有时甚至还是后者方法的直接结果）。不过，在这两个领域当中，依然有许多学者并未顺从[[认知科学]]的这种发展趋势，并且仍继续相互独立地开展着自己的工作，分别从事着各自的所关心的事情。

== 參考文獻 == 
{{reflist}}
[[Category: 020 圖書資訊學總論]]