2022年本体的概念和应用总结 .pdf
《2022年本体的概念和应用总结 .pdf》由会员分享,可在线阅读,更多相关《2022年本体的概念和应用总结 .pdf(12页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、一、Ontology 的定义 :Ontology是一种能在语义和知识层次上描述信息系统的概念模型建模工具。Ontology是对概念模型的明确的、形式化的、可共享的规范。这包含 4层含义: 概念模型 ( conceptualization)、 明确(explicit) 、 形式化 ( formal)和共享 (share)。概念模型 :指通过 抽象出客观世界中一些现象( Phenomenon) 的相关概念 而得到的模型。概念模型所表现的含义独立于 具体的环境状态。明确:指所使用的 概念及使用这些 概念的约束 都有明确的定义 。形式化 :指Ontology是计算机可读的 (即能被计算机处理 )。共享
2、:指Ontology中体现的是 共同认可的知识 , 反映的是 相关领域中公认的概念集 ,即Ontology针对的是 团体而非个体的 共识。Ontology的目标是 捕获相关领域的 知识,提供对该领域知识的 共同理解 ,确定该领域内 共同认可的词汇 ,并从不同层次的形式化模式上给出这些词汇 (术语)和词汇间相互关系的 明确定义 。补充1:在与领域的本体概念计算机科学信息科学在与领域,理论上,本体是指一种“形式化的,对于共享概念体系的明确而又详细的说明”。本体提供的是一种 共享词表 ,也就是特定领域之中那些存在着的或概念及其属性和;或者说,本体就是一种特殊类型的, 具有结构化的特点 , 且更加适合
3、于在之中使用;或者说,本体实际上就是对特定之中某套及其相互之间的形式化表达(formal representation) 。计算机科学信息科学对象类型相互关系术语集计算机系统领域概念关系二、Ontology 的建模元语Perez 等人认为 Ontology可以按分类法来组织 ,他归纳出 Ontology包含5个基本的建模元语 (Modeling Primitive) 。这些元语分别为: 类(classes), 关系(relations),函数(functions),公理(axioms)和实例 (instances) 。通常也把 classes 写成concepts 。概念的含义很广泛 ,可以指
4、任何事物 ,如工作描述、功能、行为、策略和推理过程等等。类:集合( sets )、概念、对象类型或者说事物的种类。关系代表了在领域中 概念之间的交互作用 。形式上定义为 n维笛卡儿乘积的名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页,共 12 页 - - - - - - - - - 子集: R : C1 C2 Cn 。如: 子类关系 ( sub class of) 。函数是一类特殊的关系。在这种关系中前n-1个元素可以惟一决定第 n个元素。形式化的定义如下 : F :C1 C
5、2 Cn - 1 Cn。例如 Mother-of 关系就是一个函数 , 其中 Mother-of (x,y) 表示y是x的母亲 ,显然x可以惟一确定他的母亲y。公理代表永真断言 ,比如概念乙属于概念甲的范围。实例代表元素。补充2:附加的元素属性:对象(和类)所可能具有的属性、特征、特性、特点和参数。约束(限制) :采取形式化方式所声明的,关于接受某项断言作为输入而必须成立的情况的描述。规则:用于描述可以依据特定形式的某项断言所能够得出的逻辑推论的,if-then(前因后果)式语句形式的声明。事件 :属性或关系的变化。从语义上分析 ,实例表示的就是 对象,而概念 表示的则是 对象的集合 ,关系对
6、应于对象元组的集合。 概念的定义一般采用 框架( frame)结构, 包括概念的名称 ,与其他概念之间关系的集合, 以及用自然语言对该概念的描述。基本的关系有 4种:part of,kind of, instance of 和attribute of。Part of表达概念之间 部分与整体的关系 ; kind of表达概念之间的 继承关系 ,类似于面向对象中的父类和子类之间的关系,给出两个概念 C和D,记= x|x 是C的实例 , CD=x|x 是D的实例 ,如果对任意的x属于,x都属于,则称C为D的父概念 , D为C的子概念 ; DCinstance of表达概念的 实例和概念之间的关系 ,
7、类似于面向对象中的对象和类之间的关系 ; attribute of表达某个概念是另外一个概念的属性。例如概念“价格”可作为概念“桌子”的一个属性。在实际的应用中 ,不一定要严格地按照上述5类元语来构造 Ontology。同时概念之间的关系也不仅限于上面列出的4种基本关系 , 可以根据特定领域的具体情况定义相应的关系 ,以满足应用的需要。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页,共 12 页 - - - - - - - - - 简单的本体示例:关于动物的概念及其相互关系所
8、构成的语义网络三、Ontology 的描述语言在具体的应用中 , Ontology的表示方式可以多种多样 , 主要可分为 4大类:非形式化、半非形式化、半形式化、形式化语言。(1) 完全非形式化的 : 用自然语言自由、随意地表达;(2) 半非形式化的 : 用受限定的、结构式自然语言表达;(3) 半形式化的 : 用人工定义的形式语言表达;(4) 严格形式化的 : 用这些属性的形式语义、定理和证明严格、仔细地定义术语, 并使之具有确定性和完整性。虽然具体描述 Ontology的方法很多 , 但是目前使用最普遍的方法是Ontolingua、CycL和Loom等。Ontolingua 是一种基于KIF
9、( knowledge interchange format ) 的, 提供统一的规范格式来构建 Ontology的语言。Ontolingua 为构造和维护 Ontology 提供了统一的、计算机可读 ( 可处理 ) 的方式。由Ontolingua 构造的 Ontology 可以很方便地转换到各种知识表示和推理系统, 使得对 Ontology 的维护与具体使用它的目标表示系统分离开来。可以把Ontolingua 转换成 Prolog、CORBA的IDL 、CLIPS、LOOM 、 Epikit、 Algernon 和标准的 KIF。 目前, Ontolingua 主要是作为 Ontology
10、服务器上提供的 , 用于创建 Ontology 的语言。另外有不少项目使用 Ontolingua 作为实现Ontology 的语言。CycL 是Cyc 系统的描述语言 , 它是一种体系庞大而非常灵活的知识描述语言。该语言在一阶谓词演算的基础上, 扩充了等价推理、缺省推理等功能, 而且具备一些二阶谓词演算的能力。 在该语言的环境中配有功能很强的可进行逻辑推名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页,共 12 页 - - - - - - - - - 理的推理机。Loom 是O
11、ntosaurus 的描述语言 , 是一种基于一阶谓词逻辑的高级编程语言, 属于描述逻辑 (Description Logic) 体系。它具有以下的特点 : ( 1) 提供表达能力强、声明性的规范说明语言;(2) 提供强大的演绎推理能力 ; ( 3) 提供多种编程风格和知识库服务。该语言后来发展成为PowerLoom 语言。 PowerLoom 是KIF 的变体 , 它是基于逻辑的 , 具备很强表达能力的描述语言,采用前后链规则( backward and forward chainer) 作为其推理机制。四、已有的 Ontology 及其分类为了对 Ontology进行有效的分类 , Gua
12、rino提出以详细程度 和领域依赖度 两个维度作为对 Ontology划分的基础。详细程度是相对的、较模糊的一个概念, 指描述或刻画建模对象的程度。详细程度高的称作参考 ( reference) Ontologies, 详细程度低的称为共享(share)Ontologies 。 依照领域依赖程度 , 可以细分为顶级 (top level)、 领域(domain)、任务(task)和应用 (application) Ontologies等4类。其中:顶层Ontologies描述的是 最普通的概念及概念之间的关系, 如空间、时间、事件、行为等等 ,与具体的应用无关 ,其他种类的 Ontologie
13、s都是该类 Ontologies 的特例。领域Ontologies描述的是 特定领域 (医药、 汽车等)中的概念及概念之间的关系。任务Ontologies描述的是 特定任务或行为中的概念及概念之间的关系。应用Ontologies描述的是 依赖于特定领域和任务的概念及概念之间的关系。图1、面向应用的多层次 Ontology 补充3:领域本体与上层本体的举例:领域本体举例: 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页,共 12 页 - - - - - - - - - 例 1:
14、就拿具有许多种含义的“”来说。关于领域的本体可能会赋予该词以“打扑克”的意思, 而关于领域的本体则可能会赋予其“穿孔卡片”和“视频卡”的意思。 英文单词card扑克计算机硬件例 2:本体的局部:“Car” (汽车) 这个类拥有两个子类“2-Wheel Drive Car”(两轮驱动型汽车)和“4-Wheel Drive Car”(四轮驱动型汽车) 。关系:“Ford Explorer ”(探索者)是一种“4-Wheel Drive Car”(四轮驱动型汽车) ,而后者则是一种“Car”(汽车) 。 交通工具福特上层本体的举例:通用形式化本体( General Formal Ontology ,
15、GFO)的基本分类树:五、构造 Ontology 的规则目前已有的 Ontologies很多, 出于对各自问题域和具体工程的考虑, 构造名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 5 页,共 12 页 - - - - - - - - - Ontologies的过程也是各不相同的。由于没有一个标准的Ontology 构造方法 , 不少研究人员出于指导人们构造Ontologies的目的 ,从实践出发 ,提出了不少有益于构造Ontology的标准 , 其中最有影响的是 Gruber于1
16、995年提出的 5条规则:明确性和客观性 :即Ontology 应该用自然语言对所定义术语给出明确的、 客观的语义定义 。完全性 : 即所给出的 定义是完整的 , 完全能表达所描述术语的含义。一致性 : 即由术语得出的推论与术语本身的含义是相容的, 不会产生矛盾。最大单调可扩展性 : 即向Ontology中添加通用或专用的术语时, 不需要修改其已有的内容。最小承诺 : 即对待建模对象给出尽可能少的约束。补充4:关于领域本体的构建一)领域本体的构建过程1、确定本体的领域与范围 首先要明确构建的本体将覆盖的专业领域、应将本体的目的、 作用以及它的系统开发,维护和应用对象,这些对于领域本体的建立过程
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2022年本体的概念和应用总结 2022 本体 概念 应用 总结
限制150内