在计算机科学 和信息科学 中，本体 是指对概念、数据和实体之间的类别、属性和关系的表示、命名和定义，这些概念、数据和实体 构成了一个、大量或所有的论域 [ 1] 对象 类型 或概念及其属性和相互关系 [ 2] 术语集 ，具有结构化的特点，且更加适合于在计算机系统 之中使用；或者说，本体实际上就是「对特定领域 之中某套概念 及其相互之间关系 的形式化表达（formal representation ）」。本体是人们以自己兴趣领域 的知识 为素材，运用信息科学的本体论 原理而编写出来的作品 推理 ，亦可用于定义该领域（也就是对该领域进行建模）。此外，有时人们也会将本体称为本体论 。
简单的本体示例：关于动物 的概念 及其相互关系 所构成的语义网络 作为一种关于现实 世界 或其中某个组成部分的知识表达形式，本体目前的应用领域包括（但不仅限于）：人工智能 、语义网 、软件工程 、 生物医学信息学 、图书馆学 以及信息架构 。
英文术语“ontology ”一词源于哲学 领域，且一直以来存在着许多不同的用法。在计算机科学 领域，其核心意思是指一种模型，用于描述由一套对象类型（概念 或者说类 ）、属性以及关系类型所构成的世界。尽管不同的本体对于这些构成成分的确切称谓有所不同，但它们却都是一部本体不可或缺的基本要素。一般来说，人们所普遍期望的一点就是，本体之中模型的那些特征应当非常类似于相应的现实世界[ 3]
就计算机科学与哲学来说，二者所说的本体之间的共同之处就在于，它们都是依据某种类别体系，来表达实体 、概念 、事件及其属性和相互关系。在这两个领域当中，存在针对本体相对性（ontological relativity ）的种种问题（比如，哲学领域的奎因 和克里普克 ，计算机科学领域的索瓦 高利诺 [ 4] Cyc 项目的讨论）。二者之间的那些差别在很大程度上只是侧重点的问题。与计算机科学领域的研究人员相比，哲学家们则较少关心建立固定不变的受控词表 。然而，计算机科学家们则较少参与有关首要原则的讨论（比如，关于是否存在诸如不变本质 （fixed essences ）之类事物的讨论，或者关于实体在本体论上必定比过程更为基本的讨论）。
奥格登 与理查兹 语义三角 [ 5] 语义三角 ：事物 、概念 及符号 之间的关系 从历史上来看，本体源自哲学 之中称为“形而上学 ”的分支。形而上学所关注的是现实 的本质 ，也就是存在 的本质。作为哲学的一个基本分支，形而上学关注的是分析存在的各种类型或模式，且往往尤其关注共相 与殊相 之间的关系、本征性质与非本征性质 本质 与存在 之间的关系。本体论探索活动的传统目标尤其是，为了揭示那些基本的类别或者说种类，而在关键之处将现实世界划分为对象的自然类别[ 6]
二十世纪下半叶，哲学家 们就如何构建本体的可行方法或途径展开过广泛的讨论，但实际上他们自己却并没有真正“构建”出任何非常精细详尽的本体。与此相比，计算机科学家 们当时则正在构建着一些大型而又稳健的本体（如WordNet 和Cyc ），但相对来说却很少针对“如何”构建本体而进行辩论。
自二十世纪70年代中期以来，人工智能 （简称AI ）领域的研究人员认识到，知识的获取乃是构建强大AI系统的关键所在。AI研究人员认为，他们可以把新的本体创建成为计算模型 ，从而成就特定类型的自动推理 。二十世纪80年代，AI领域就开始采用术语ontology 来同时指称关于模型化世界的一种理论以及知识系统的一种组件。借助于来自哲学本体论的灵感，一些研究人员继而把计算机本体论视为一种应用哲学 [ 7]
二十世纪90年代初期，汤姆·格鲁伯 论文 《迈向知识共享型本体的设计原则 》[ 8] 计算机科学 术语 “ontology ”的审慎定义。格鲁伯采用这条术语来指一种对于某一概念体系 （概念表达 或概念化过程 ）（conceptualization 详细说明 （specification ，明确表述用法 。
本体 往往等同于那些由各种类、类之定义 以及归类关系（subsumption relation ）所构成的分类法层次结构，但本体并不一定仅限于此类形式。同时，本体也并不局限于保守型的定义（也就是传统逻辑学 意义上的那些定义，它们所引入和采用的仅仅是术语 ，而没有添加任何有关现实世界的知识）[ 9] 公理 ，从而对所定义术语的那些可能解释加以约束和限制[ 10]
在二十一世纪伊始的头几年，认知科学 的跨学科 项目一直在将这两个领域的学者群体拉得更近[來源請求] 哲学家 们分析计算机科学领域所编制的形式化本体（有时甚至还在工作中直接运用计算机软件 ），而与此同时，计算机科学领域的研究人员也在越来越多地引用那些致力于本体论的哲学家们的研究工作（有时甚至还是后者方法的直接结果）。不过，在这两个领域当中，依然有许多学者并未顺从认知科学 的这种发展趋势，并且仍继续相互独立地开展着自己的工作，分别从事着各自的所关心的事情。
软件工程 领域之中所常见的实体关系模型 交通工具 本体的局部：“Car ”（汽车）这个类拥有两个子类“2-Wheel Drive Car ”（两轮驱动型汽车）和“4-Wheel Drive Car ”（四轮驱动型汽车）关系：“Ford Explorer”（福特 探索者）是一种 是一种 就现有的各种本体而言，无论其在表达上采用的究竟是何种语言，在结构上都具有许多的相似性。如前所述，大多数本体描述的都是个体（实例）、类（概念）、属性以及关系。在这一节当中，我们将分别依次论述本体的这些构成要素。
常见的本体构成要素包括：
个体（实例）：基础的或者说“底层的”对象。
类：集合 （sets ）、概念、对象类型或者说事物的种类[ 注释 1]
属性：对象（和类）所可能具有的属性、特征、特性、特点和参数。
关系 ：类与个体之间的彼此关联所可能具有的方式。函式术语：在声明语句当中，可用来代替具体术语的特定关系所构成的复杂结构。
约束（限制）：采取形式化方式所声明的，关于接受某项断言作为输入而必须成立的情况的描述。。
规则：用于描述可以依据特定形式的某项断言所能够得出的逻辑推论的，if-then（前因－后果）式语句形式的声明。
公理：采取特定逻辑形式的断言（包括规则在内）所共同构成的就是其本体在相应应用领域当中所描述的整个理论。这种定义有别于产生式语法和形式逻辑当中所说的“公理”。在这些学科当中，公理之中仅仅包括那些被断言为先验 知识的声明。就这里的用法而言，“公理”之中还包括依据公理型声明所推导得出的理论。
事件 (哲学)：属性或关系的变化。
通用形式化本体 General Formal Ontology ，GFO）的基本分类树领域本体 （domain ontology 或者说domain-specific ontology ，即领域特异性本体 ）所建模的是某个特定领域，或者现实世界的一部分。领域本体所表达的是那些适合于该领域的那些术语的特殊含义。例如，就拿具有许多种含义的英文 单词 “card 扑克 领域的本体可能会赋予该词以“打扑克 ”的意思，而关于计算机硬件 领域的本体则可能会赋予其“穿孔卡片 ”和“视频卡 ”的意思。
上层本体 upper ontology 或者说foundation ontology ，即基础本体 ）是指一种由那些在各种各样的领域本体之中都普遍适用的共同对象所构成的模型。其中所收录的核心词表 都柏林核心 、通用形式化本体 General Formal Ontology ，GFO）、OpenCyc /Cyc 、推荐上层合并本体 Suggested Upper Merged Ontology ，SUMO）以及DOLCE （页面存档备份 ，存于互联网档案馆 ）。另外，有些人认为WordNet 属于上层本体，但实际上它并不是一部本体：WordNet 只是由一部分类法 （taxonomy ）与一部受控词表 所形成的独特组合（参见上述关于“属性”方面的内容）。
Gellish
领域本体在表达概念时采用的是非常特殊而又往往具有选择性的方式，因而它们常常缺乏兼容性。随着那些依赖于领域本体的系统的扩展，它们往往需要将不同的领域本体合并成一部更为通用的表达形式。对于本体设计者来说，这就提出了一项富有挑战性的难题。在同一领域内，由于文化背景、受教育程度以及意识形态 的不同所造成的，对于该领域感知 （perceptions ）情况的不同，或者因为所采用的表达语言的不同，还可能出现不同的本体。
当前，对于那些并非依据同一部基础本体所编制的本体的合并工作，在很大程度上还是一种手工过程，因而既耗费时间又成本高昂。那些利用同一部基础本体所提供的一套基本元素来规定领域本体元素之含义的领域本体，则可以实现自动化的合并。目前，存在着多项针对本体合并方面的通用技术方法的研究工作，但这个方面的研究在很大程度上依然还处于理论层面。
本体工程 ，又称为本体构建 、本体编制 或本体开发 ，是一个旨在研究有关构建本体的方法和方法学 的领域。本体工程研究的内容包括本体开发过程、本体生命周期、本体构建方法及方法学，以及为这些方面提供支持的工具包和语言[ 11] [ 12]
本体工程旨在让软件应用程序、企事业单位、组织机构以及特定领域业务操作过程之中所包含的那些知识变得明确清晰。本体工程为解决语义 障碍所造成的互操作性 问题指出了一个方向。比如，那些与业务术语 和软件类的定义 相关的障碍。本体工程实际上就是一套与特定领域之中的本体开发与编制工作相关的任务[ 13]
英国牛津大学 计算机科学 教授伊恩·霍洛克斯 本体一般都是采用本体语言 来编制的。本体语言 ，又称为“本体论语言 ”，是一种用于编制本体的形式化语言 。目前，存在着许许多多此类的本体语言，既包括专有的，也包括基于标准 的：
普通逻辑 Common logic ）就是ISO 标准24707；这是关于一种本体语言 家族的技术规范，其中的本体语言彼此之间可以准确地相互转换[ 14] Cyc 项目有其自己的，基于一阶谓词演算 ，且具有某些高阶扩展的本体语言（即CycL [ 15] Gellish [ 16] IDEF5 可复用性 的领域本体的软件工程 方法[ 6] 知识交换格式 （Knowledge Interchange Format ，KIF）是基于S-表达式 的一种一阶逻辑 语法[ 17] 规则交换格式 （Rule Interchange Format，RIF）与F-逻辑 F-Logic ）可将各种本体和规则结合起来[ 18] OWL （Web Ontology Language ）是一种用于编写本体声明（ontological statements ）的语言 。OWL的发展继承了RDF 和RDFS 本体推理层 Ontology Inference Layer ，OIL）、DARPA智能体标记语言 DARPA Agent Markup Language ，DAML）以及DAMLplusOIL 万维网 之上；而且，其构成要素（类、属性和个体）均被定义为RDF资源 ，并采用URI 加以标识[ 19]
可视化 方式展现的本体示例：Mason本体。关于地球 表面的水 及其模式的概念图 氨基酸本体[ 20]
基本形式化本体（Basic Formal Ontology ）[ 21]
BioPAX[ 22] 互操作性 的本体。
细胞周期本体（Cell-Cycle Ontology ，CCO）[ 23]
CContology[ 24] 客户 抱怨 管理的电子商务 本体。
CIDOC概念参考模型（CIDOC Conceptual Reference Model ）[ 25] 文化遗产 的本体。
COSMO[ 26] 实体 的含义 之时所需的原初型概念（primitive concepts）。其旨在作为一部基础的本体，可以用于完成其他本体或数据库 之中不同表达之间的转换。起初，它只是OpenCyc和SUMO本体之中基本构成要素的合并产物。目前，已经采用其他的本体构成要素（类型、关系） 对其加以了补充，从而便于收录朗文词典定义词汇表之中所有单词的表达形式。
Cyc ：一部关于论域 之形式化表达的基础本体。疾病本体（Disease Ontology ）[ 27] 疾病 及相关健康状况向特定医学代码的映射。
DOLCE Descriptive Ontology for Linguistic and Cognitive Engineering ）[ 28] 都柏林核心 ：一部关于文档和出版 方面的简单本体。基础性核心语言学本体（Foundational, Core and Linguistic Ontologies ）[ 29]
人类解剖学 方面的解剖学基础模型 （Foundational Model of Anatomy ，FMA）[ 30]
有关内科学 与外科学 医学术语的GALEN本体（OWL -DL [ 31] [ 32]
基因组学领域的基因本体 （Gene Ontology ,GO）
通用上层模型（Generalized Upper Model ）[ 33] 自然语言 技术之间发挥中介作用的，带有语言学动机的本体。
Gellish英语词典 lower ontology ）,侧重于工程、技术以及采购方面的工业及商业应用。参见SourceForge的开源 项目[ 34] GOLD[ 35] 语言描述 通用本体（General Ontology for Linguistic Description）。
IDEAS工作组 [ 36] 澳大利亚 、加拿大 、英国 以及美国国旗 的国防部所正在共同构建的一部关于企业架构 （enterprise architecture ）的形式化本体。Linkbase[ 37] 页面存档备份 ，存于互联网档案馆 ）的基础之上，对于生物医学领域的一种形式化表达。
LPL （Lawson Pattern Language ，LPL）开放生物医学本体铸造厂 OBO Foundry ）：生物医学领域的一套具有互操作性 的参考本体。生物医学调查本体 Ontology for Biomedical Investigations ）：用于描述生物学 及临床 调查研究活动的一部开放的集成化本体。植物本体（Plant Ontology ）[ 38] 植物 结构以及生长/发育阶段等方面的本体。
POPE（Purdue Ontology for Pharmaceutical Engineering ，普渡大学 制药工程 本体）
乔治敦大学 有关蛋白质 信息资源 的蛋白质本体PRO [ 39] 程序抽象分类法（Program abstraction taxonomy ）[ 40]
蛋白质组学 领域的蛋白质本体（Protein Ontology ）[ 41] 系统生物学本体 Systems Biology Ontology ）：描述的是生物学 领域的计算机模型 推荐上层合并本体 SWEET（Semantic Web for Earth and Environmental Terminology ，地球与环境术语集语义网）[ 42]
思想财富 医学教育标引主题 Topics for Indexing Medical Education ）WordNet ：一个词汇参考系统（Lexical reference system）[ 注释 2]
[[0101031 SemanticMediaWiki Logo.png|thumb|300px|MediaWiki 的扩展：可在Wiki 网页 之中标注语义数据 的Semantic MediaWiki 目录 （directories ）或列表的服务 。此类目录就称为“本体库 ”。
如下是一些采用人工方式选择出来的本体所构成静态库 ：
CO-ODE项目本体库[ 43]
DAML本体库（DAML Ontology Library）[ 44]
Protege本体库（Protege Ontology Library）[ 45]
SchemaWeb[ 46] 下列这些即是目录，同时又是搜索引擎 。其中，包括用于在互联网上搜索良构性本体的搜寻器 。
OBO Foundry / Bioportal[ 47] 生物学 和生物医学 （biomedicine ）领域的一套具备互操作性 的参考本体。
OntoSelect Ontology Library（OntoSelect本体库）[ 48]
Ontaria[ 49] 语义网 数据目录，且侧重于RDF词表以及OWL本体”。
Swoogle 是一个目录和搜索引擎，适用于互联网上现成可用的所有RDF资源，包括各种本体。
Protégé OWL 格式比萨饼 本体的层级结构: “素比萨饼”
用于编纂本体的软件编辑器称为“本体编辑器 （ontology editor ）”，有时又称为“本体论编辑器”。
（英文） (Top-level ontological categories. By: Sowa, John F. In International Journal of Human-Computer Studies, v. 43 (November/December 1995) p. 669-85.),
（英文） C. K. Ogden and I. A. Richards (1923) The Meaning of Meaning
（英文） Tom Gruber (2008). "Ontology" （页面存档备份 ，存于互联网档案馆 ）. To appear in the Encyclopedia of Database Systems , Ling Liu and M. Tamer Özsu (Eds.), Springer-Verlag, 2008.（英文） 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
（英文） Enderton, H. B. (1972). A Mathematical Introduction to Logic . San Diego, CA: Academic Press.
（英文） Gruber, T. R. (1993). "A translation approach to portable ontologies". In: Knowledge Acquisition . 5(2):199-220, 1993.
（英文） 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.
BioPAX . [2009-03-05 ] . （原始内容存档 于2011-06-25） （英语） .CCO . [2009-03-05 ] . （原始内容 存档于2019-02-15） （英语） .COSMO . [2009-03-05 ] . （原始内容存档 于2009-02-17） （英语） .DOLCE . [2009-03-05 ] . （原始内容存档 于2009-04-16） （英语） .GOLD . [2009-03-05 ] . （原始内容存档 于2009-04-06） （英语） .PRO . [2009-03-05 ] . （原始内容 存档于2011-03-10） （英语） .
SWEET . [2009-03-05 ] . （原始内容 存档于2011-04-11） （英语） .
如前所述，关于WordNet是否属于本体，人们尚未完全达成一致意见。
（英文） Fensel, D., van Harmelen, F., Horrocks, I., McGuinness, D. L., & Patel-Schneider, P. F. (2001). "OIL: an ontology infrastructure for the Semantic Web" . In: Intelligent Systems . IEEE, 16(2): 38-45.（英文） Maria Golemati, Akrivi Katifori, Costas Vassilakis, George Lepouras, Constantin Halatsis (2007). "Creating an Ontology for the User Profile: Method and Applications" . In: Proceedings of the First IEEE International Conference on Research Challenges in Information Science (RCIS) , Morocco 2007.（英文） Tom Gruber "A translation approach to portable ontology specifications" （页面存档备份 ，存于互联网档案馆 ）. In: Knowledge Acquisition . 5: 199-199.（英文） Maedche, A. & Staab, S. (2001). "Ontology learning for the Semantic Web" . In: Intelligent Systems . IEEE, 16(2): 72-79.（英文） R. Navigli, P. Velardi. Learning Domain Ontologies from Document Warehouses and Dedicated Web Sites （页面存档备份 ，存于互联网档案馆 ）, Computational Linguistics, 30(2), MIT Press, 2004, pp. 151-179.（英文） Razmerita, L., Angehrn, A., & Maedche, A. 2003. "Ontology-Based User Modeling for Knowledge Management Systems" [永久失效連結 Lecture Notes in Computer Science : 213-217.（英文） Smith, B. Ontology (Science) （页面存档备份 ，存于互联网档案馆 ）, in C. Eschenbach and M. Gruninger (eds.), Formal Ontology in Information Systems. Proceedings of FOIS 2008, Amsterdam/New York: ISO Press, 21-35.（英文） Uschold, M. & Gruninger, M. (1996). Ontologies: Principles, Methods and Applications （页面存档备份 ，存于互联网档案馆 ）. Knowledge Engineering Review, 11(2).（英文） Yudelson, M., Gavrilova, T., & Brusilovsky, P. 2005. Towards User Modeling Meta-ontology . Lecture Notes in Computer Science, 3538: 448. 
