【摘要】：本体 最早是哲学上的概念，指客观存在的一个系统的解释和说明，是客观现实的一个本质抽象。五元组用分类法组织了本体论，给出了五元组的形式，类、关系、函数、公理、实例 ，是目前较为流行的本体形式化表达方法。
本体 (Ontology) 最早是哲学上的概念，指客观存在的一个系统的解释和说明，是客观现实的一个本质抽象。本体早在20世纪60年代就为计算机领域所使用，本体的流行定义有: 本体是概念模型的明确的规范说明 (Gruber1993; 王育红和陈军，2008); 本体是共享概念模型的形式化规范说明 (Borst 1997; Melnik等，2002); 本体是共享概念的明确的形式化规范说明 (Studer等 1998; Bernstein等，2004)。最后一个定义包含概念模型、明确、形式化和共享四层含义。
(1) 概念模型: 通过抽象出客观世界中一些现象的相关概念而得到的模型，该模型独立于具体的环境状态。
(2) 明确: 概念和概念的约束都有明确的定义。
(3) 形式化: 本体可以通过本体语言编码，使得计算机可读和自动处理。(www.xing528.com)
(4) 共享: 本体体现的是共同认可的知识，反映的是相关领域内公认的概念集。
在实际应用中还需要给出形式化的定义，目前还没有一种权威的形式化本体定义，不同的研究者针对他们所解决的问题背景，提出了形式化的本体定义: 二元组 (Erhard 和Philip，2001)、三元组 (Adler等，2006)、五元组 (Navarro和周生炳，2002)、七元组(Berglund等，2005)、八元组的形式化定义 (刘政敏和牛艳芳，2003; Berglund等， 2005)。五元组用分类法组织了本体论，给出了五元组的形式，类、关系、函数、公理、实例 (W3C，1999)，是目前较为流行的本体形式化表达方法。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
