《本体的概念.docVIP

1????? 关于Ontology 1.1?????????? Ontology的定义 Ontology最早是一个哲学的范畴，后来随着人工智能的发展，被人工智能界给予了新的定义。然后最初人们对Ontology的理解并不完善，这些定义也出在不断的发展变化中，比较有代表性的定义列表如下： 范畴 提出时间/提出人 定义 哲学 ? 客观存在的一个系统的解释和说明，客观现实的一个抽象本质 计算机 1991/Neches等 给出构成相关领域词汇的基本术语和关系，以及利用这些术语和关系构成的规定这些词汇外延的规则的定义 1993/Gruber 概念模型的明确的规范说明 1997/Borst 共享概念模型的形式化规范说明 1998/Studer 共享概念模型的明确的形式化规范说明 关于最后一个定义的说明体现了Ontology的四层含义： l???????? 概念模型（cerptualization） 通过抽象出客观世界中一些现象（Phenomenon）的相关概念而得到的模型，其表示的含义独立于具体的环境状态 l???????? 明确（explicit） 所使用的概念及使用这些概念的约束都有明确的定义 l???????? 形式化（formal） Ontology是计算机可读的。 l???????? 共享（share） Ontology中体现的是共同认可的知识，反映的是相关领域中公认的概念集，它所针对的是团体而不是个体。 ?????? Ontology的目标是捕获相关的领域的知识，提供对该领域知识的共同理解，确定该领域内共同认可的词汇，并从不同层次的形式化模式上给出这些词汇（术语）和词汇之间相互关系的明确定义。 ? 1.2?????????? Ontology的建模元语 Perez等人用分类法组织了Ontology，归纳出5个基本的建模元语（Modeling Primitives）： l???????? 类（classes）或概念（concepts） 指任何事务，如工作描述、功能、行为、策略和推理过程。从语义上讲，它表示的是对象的集合，其定义一般采用框架（frame）结构，包括概念的名称，与其他概念之间的关系的集合，以及用自然语言对概念的描述。 l???????? 关系（relations） 在领域中概念之间的交互作用，形式上定义为n维笛卡儿积的子集：R:C1×C2×…×Cn。如子类关系（subclass-of）。在语义上关系对应于对象元组的集合。 l???????? 函数（functions） 一类特殊的关系。该关系的前n－1个元素可以唯一决定第n个元素。形式化的定义为F:C1×C2×…×Cn-1→Cn。如Mother-of就是一个函数，mother-of(x,y)表示y是x的母亲。 l???????? 公理（axioms） 代表永真断言，如概念乙属于概念甲的范围。 l???????? 实例（instances） 代表元素。从语义上讲实例表示的就是对象。 另外，从语义上讲，基本的关系共有4种： 关系名 关系描述 part-of 表达概念之间部分与整体的关系。 kind-of 表达概念之间的继承关系，类似于面向对象中的父类与子类之间的关系。 instance-of 表达概念的实例与概念之间的关系，类似于面向对象中的对象和类之间的关系。 attribute-of 表达某个概念是另一个概念的属性。如“价格”是桌子的一个属性。 在实际建模过程中，概念之间的关系不限于上面列出的4种基本关系，可以根据领域的具体情况定义相应的关系。 本体论是信息科学与计算机科学领域之中的一个致力于本体之设计、构建、存储、更新、维护、发布、共享、应用和评价以及不同层次和不同领域本体之间相互关系（如映射关系）的研究和应用领域。 目录 1 本体 2 常用的本体编辑器 3 参见 4 参考文献 5 延伸阅读 6 外部链接 [编辑] 本体 本体则是人工智能中一种知识表现方法，是一种形式化的对共享概念的明确表述[1]。在信息科学与计算机科学领域之中，本体是对特定领域之中某套概念及其相互之间关系的形式化表达（formal representation）。本体一般用于针对该领域的属性进行推理，且亦可用于定义该领域。 形式化 - 表示机器可读 明确表述 - 表示其概念，属性，函数，定理是明确定义的 共享 - 表示其代表公共知识 概念（形成）- 表示本体是世界的一种抽象模型 本体的使用领域除了人工智能，还有语意网络、软件工程、图书馆学以及资讯结构，作为一种该领域呈现全部或部份知识的格式。本体的常有元件包含： 个体（Individuals）：基本物件。 类别（Class）：集合或物件的类型。 属性（Attribute）：物件能够拥有和分享的