Ontology

Ontology          Ontology是近年信息科学界最热门的词汇之一，国内一般将其译为“本体”。
Ontology之哲学本源
　　Ontology的概念最初起源于哲学领域，并在很长一段时期都是哲学研究的一个分支。古希腊哲学家亚里士多德(Aristotle)定义Ontology为“对世界客观存在物的系统的描述，即存在论”，也就是说Ontology是客观存在的一个系统的解释或说明，它关心的是客观现实的抽象本质。为研究客观世界的存在问题，亚里士多德、莱布尼茨(Leibniz)、康德(Kant)、皮尔斯(Peirce)、怀特海德(Whitehead)等哲学家广泛讨论了用Ontology如何对现实世界进行分类、怎么描述其中的物理实体、如何定义客观世界的抽象，以及空间与时间的关系等问题。

Ontology这个哲学范畴，被人工智能界赋予了新的定义，从而被引入信息科学中。然而信息科学界对Ontology的理解也是逐步发展才走向成熟的。1991年Neches等人最早给出Ontology在信息科学中的定义：“给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延规则的定义。”后来在信息系统、知识系统等领域，随着越来越多的人研究Ontology，产生了不同的定义。1993年Gruber定义Ontology为“概念模型的明确的规范说明”。1997年Borst进一步完善为“共享概念模型的形式化规范说明”。Studer等人对上述两个定义进行了深入研究，认为Ontology是共享概念模型的明确的形式化规范说明，这也是目前对Ontology概念的统一看法。
　　Studer等人的Ontology定义包含四层含义：概念模型(Conceptualization)、明确(Explicit)、形式化(Formal)和共享(Share)。“概念模型”是指通过抽象出客观世界中一些现象(Phenomenon)的相关概念而得到的模型，其表示的含义独立于具体的环境状态；“明确”是指所使用的概念及使用这些概念的约束都有明确的定义；“形式化”是指Ontology是计算机可读的，也就是计算机可处理的；“共享”是指Ontology中体现的是共同认可的知识，反映的是相关领域中公认的概念集，它所针对的是团体而非个体。Ontology的目标是捕获相关领域的知识，提供对该领域知识的共同理解，确定该领域内共同认可的词汇，并从不同层次的形式化模式上给出这些词汇(术语)和词汇之间相互关系的明确定义。
　　尽管定义有很多不同的方式，但是从内涵上来看，不同研究者对于Ontology的认识是统一的，都把它当作是领域(领域的范围可以是特定应用中，也可以是更广的范围)内部不同主体(人、机器、软件系统等)之间进行交流(对话、互操作、共享等)的一种语义基础，即由Ontology提供一种共识。而且Ontology提供的这种共识更主要的是为机器服务，机器并不能像人类一样理解自然语言中表达的语义，目前的计算机也只能把文本看成字符串进行处理。因此，在计算机领域讨论Ontology，就要讨论如何表达共识，也就是概念的形式化问题。