语义网所谓的“本体”的具体例子是什么?
Ontology(中文称为:本体)是一种描述术语(包含哪些词汇)及术语间关系(描述苹果、香蕉、水果之间的关系)的概念模型。Ontology的形式可简单可复杂。最简单的词汇表(只定义术语集合,不定义术语之间的关系)也可以看成是一种“本体”;但严格意义上的本体,是既定义了术语、也定义了术语之间关系的。生活中,最常见、最成熟的本体,就属图书馆里的图书分类法了(人类在这方面的研究探索已有上百年历史)。本体,以图书分类法(成为taxonomy)为例,一方面限定了术语集合(即规定大家必须采用共同承认的一套词汇,禁止私自发明新词),另一方面定义术语之间的上下位关系(如:计算机技术隶属于工业技术,软件技术隶属于计算机技术,等等)。只要大家都认同该本体,并在实践中长期遵守该本体,依照它来编排和索引书目,那么日后寻找一本书就会非常方便。通过这个简单的例子,我们可以发现,本体在实践中非常重要的一点就是:认同(专业术语称为ontology commitment)。从这点来说,本体一定意义上起到了是标准化的作用。另一点很重要的就是:本体应该是稳定的,不能轻易变化。由本体演化引入的更新代价将是巨大、甚至是灾难性的!语义网(Semantic Web)中的本体(尤其是在学术界)常常有所特指,通常大家认为Semantic Web中的本体是用RDFS或OWL描述的本体。RDFS、OWL可以表达比前面提到的图书分类更复杂的本体,比如定义同义词、反义词,对属性的值域施加约束等等。
本体论(ontology)和存在论之间有区别吗?
没有区别,它们是一样的。“本体论”和“存在论”都是ontology的中译,主要是研究“存在”/“是”/being/Sein。本体论就是存在论。哲学上这个问题的争论实际上是概念模型的争论。现实中不同的系统有不同的存在,不存在终极意义上的“存在”问题。人们生活在不同的系统之中,有时人们生活在现实系统(可以观察、感觉的系统),有时人们生活在虚拟系统;有时人们生活在企业工作系统,有时人们又生活在象棋游戏系统。由于人们观察事物系统测量尺度不同、抽象的对象与关系不同,观察目的与观察环境不一致,因此人们在不同的系统中观察认识到的对象和对象属性也不一样。因此我们平时所谓的存在、意义、知识,都必须相对特定的系统与确定观察范式而言的。没有离开一切系统和观察范式的抽象的形而上学实在、意义、属性和知识这样的东西。数字1、2、3,符号+、-、×、÷,在现实或者说在三维世界中是看不到的,不存在的。但是作为自然数模型系统的要素,以及数字模型关系的主体间约定,这些东西有是真实存在的,存在于理性观念系统中,可以运用数学等理性手段加以证实。经济人,作为经济主体的理想模型,不是现实的感觉的存在的。但是,作为经济学一般均衡模式的要素,它在经济认识系统中是真实存在、可以测量把握的。它们抽象出的共有属性——数量属性与数量关系属性、人在局限条件下追求个人利益最大化的属性,真实的存在于具体事物与具体的人身上。当人们把数学关系式代入现实对象,将经济学一般均衡模式代入现实的人,它们都是可以从具体事物对象身上抽象出真实的和可以经验证实的与观念模型相近相似的属性。