论（如一阶谓词演算）支持下的定义所构成的一种分类法。有人已经为本体提出的定义就是，本体是一种对于某种概念体系（概念表达、概念化、概念化体系或者说概念化过程）的明确而又详细的说明。对于特定一个领域而言，本体表达的是其那套术语、实体、对象、类、属性及其之间的关系，提供的是形式化的定义和公理，用来约束对于这些术语的解释。本体允许使用一系列丰富的结构关系和非结构关系，如泛化、继承、聚合和实例化，并且可以为软件应用程序提供精确的领域模型。例如，本体可以为传统软件提供面向对象型系统的对象模式（），以及类的定义。Se