型。其中所收录的，可以用来描述一套领域当中的对象。目前，存在着几部现成可用的标准化上层本体，包括都柏林核心、（，GFO）、OpenCyc/Cyc、（，SUMO）以及DOLCE 。另外，有些人认为WordNet属于上层本体，但实际上它并不是一部本体：WordNet只是由一部分类法（）与一部受控词表所形成的独特组合（参见上述关于“属性”方面的内容）。本体则是一个关于上层本体与领域本体彼此组合的例子。领域本体在表达概念时采用的是非常特殊而又往往具有选择性的方式，因而它们常常缺乏兼容性。随着那些依赖于领域本