本体是针对“特定兴趣领域”的正式定义的词汇表（术语）。因为它是形式化定义的，它可以减少人类话语中混淆的机会，事实上，一些本体就是为此目的而创建的，也有为使得计算机程序能够推断关于领域的逻辑结果而创建的本体。
因此，开发本体可能是创建数据库、 专家系统或知识库的前奏。
对“特定兴趣领域”的限制可能看起来很奇怪。然而，限制主题和编码信息既有实践上的原因，也有理论上的原因。
简而言之，问题在于一个术语的含义取决于所问问题的类型。
例如，即使是像洋葱这样平淡无奇的东西，生物学家、厨师、农民和杂货商也会以不同的方式看待它。对一个人至关重要的细节可能与另一个人完全无关。
“领域”是问题空间本体的简化词。你需要一种方法来在软件中建立这个本体，例如做一个可以称为反向本体、协同本体的方法，还需要好的软件工具来实现。因此，DDD中的领域一词其实是很简单，背后却很深。
建立一个领域的本体，实际基本是建立一种有复杂Complicated结构层次的分类目录，例如生物中动植物纲属分类也是一种生物本体术语体系，通过创建本体，划分出一个大的领域边界，从混沌、复杂性Complex的阶段过渡到Complicated繁杂阶段，这个阶段是通过有逻辑层次和关系的分类术语组成。
基于本体语言的DDD战略分析和设计是一种新方法，值得探索。事件风暴 是通过头脑风暴去建立一种对本体的共识，然后基于这个本体推进领域模型的建立。
OWL
本体论通常与“语义Web”有关，互联网上各种链接相互指向，最早互联网搜索就是根据外链多少判断当前页面的权重。
Web本体语言（OWL）： 是一种语义 Web 语言，旨在表示关于事物、事物组和事物之间关系的丰富而复杂的知识。OWL 是一种基于计算逻辑的语言，因此计算机程序可以利用 OWL 中表达的知识，例如，验证该知识的一致性或使隐含的知识显式化。OWL 文档，称为本体，可以在万维网上发布，并且可以引用或引用其他 OWL 本体。OWL 是 W3C 语义 Web 技术栈的一部分，其中包括RDF、RDFS、SPARQL等。
哲学上的本体论
本体论是关于对象及其联系的理论。它提供了区分不同类型对象（具体和抽象、存在和不存在、真实和理想、独立和依赖）及其联系（关系、依赖和断言）的标准。
有三种：a）formal形式，b）描述性的和c）形式化formalized的本体。
a) formal形式本体论是由埃德蒙-胡塞尔在他的《逻辑研究》中提出的：
按照胡塞尔的说法，它的对象是研究存在的种属，即领先的区域概念，即范畴；
它的真正方法是与范畴直观的方法相结合的意象还原法。
现象学本体论分为两种：（一）形式本体论，和（二）区域本体论，或物质本体论。
前者在三个基本层面上研究真理问题：
(a) 形式启示学，或判断的形式逻辑，在这里要寻求理性的道义确定性的可能性的先验条件，以及(b) 公理的可能性的合成形式，以及(c) "实践 "真理。
换句话说，它被分为形式逻辑、形式公理和形式实践。
在当代哲学中，形式本体论的发展有两种主要方式：
第一种方法是把形式本体论作为本体论的一部分来研究，并使用形式逻辑的工具和方法来分析它：从这个角度来看，形式本体论研究了谓语和各种普遍性理论的逻辑特征。此外，使用集合理论的特定范式应用于谓语，也为其解释提供了条件。
这种方法在尼诺-科奇亚雷拉那里得到了最好的体现；
根据他的说法：
形式本体论是将古典本体论的直观、非正式方法与现代符号逻辑的正式、数学方法相结合的结果，并最终将它们确定为同一科学的不同方面。
- 也就是说，本体论的方法是对存在或一般实体的基本属性、模式和方面的直观研究，
- 而现代符号逻辑的方法是对形式化、公理化系统的严格构建，
- 形式本体论是这两种方法结合的结果，是对所有存在形式的逻辑的系统化、形式化、公理化发展。
因此，形式本体论是一门先于所有其他科学的科学，在这门科学中研究特定的存在形式、模式或种类。
第二条发展路线回到了胡塞尔的源头：
分析对象、事态、部分、整体等基本范畴，以及部分和整体之间的关系及其依赖规律，直到所有物质概念被其相对于纯粹 "某物 "的相关形式概念取代。
这种分析并不涉及形式本体和物质本体之间的关系问题。
b) 描述性本体论涉及收集关于可以是依存或独立项目（真实或理想）的对象清单的信息。
c) 形式化本体论试图为在前面几个层次上描述性地获得的结果构建一个形式编码。