计算机科学中ontology的定义
计算机科学具有“实用主义”的色彩，在20世纪末和21世纪初，计算机科学界开始研究ontology。在这个领域中，ontology意味着事物及其范畴的形式分类系统，是概念体系的规范。因此，计算机科学家们有必要重新给ontology下定义。
1991年，Neches，Fikes等将Ontology 定义为:
“给出构成相关领域词汇的基本术语和关系，及利用这些术语和关系构成的规定这些词汇外延的规则的定义”。
1993年，格鲁伯（Gruber）定义：
“ontology是概念体系的明确规范”
（An ontology is an explicit specification of conceptualization）。
1997年，波尔斯特（Borst）仅一步限定：
“ontologies是可以共享的概念体系的形式规范”
（Ontologies are defined as a formal specification of a shared conceptualization）。
1998年，施图德（Studer）等给出了一个更加明确的解释：
“ontology是对概念模型的明确的、形式化的、可共享的规范”
（An ontology is a formal explicit specification of a shared conceptualization）。
这里有四个要点：
概念模型(conceptualization)：是指所描述的客观世界的现象中有关概念的抽象模型；
其中概念定义为：C =〈D ,W ,R〉D是一个领域, W 是该领域中相关的事务状态(state of affairs) 的集合,R 是领域空间〈D ,W〉上概念关系(conceptual relation) 的集合(Nicola Guarino)。
明确(explicit)：指对于所使用的概念的类型以及概念用法的约束都明确地加以定义；
形式化(formal)：是指这个ontology应该是机器可读的（machine-readable）或者机器可循的（machine traceable）；共享(share)：是指ontology中所描述的知识不是个人专有的而是集体共有的。
从上述研究过程可以看出，计算机科学领域对ontology的研究倾向于概念体系的规范化，即对领域中的客体进行分析，找出这些客体之间的关系，从而构建领域模型（概念模型），通过领域模型明确、形式化、可共享地描述这个领域中各个客体所代表的概念的体系。
从这个角度来说，计算机科学领域中，ontology的含义是：知识本体。
