2004-10-9
DL & Ontology Language
10
Web语言
RDF的特点：
➢ 基于XML语法，使表示出来的XML/RDF文档具 有语义理解的结构基础。
➢ 促进了统一词汇表的使用。 ➢ 允许简单的逻辑推理。
2004-10-9
DL & Ontology Language
11
描述逻辑的定义
<university> Renmin University
➢机器不能理解元数 据语义
</university> </affiliation> <phone>+86-010-86705593</phone>
➢仍然不易于检索
<email> dzwang@</email>
</researcher>
DL & Ontology Language
பைடு நூலகம்
13
描述逻辑发展历史
语义网络是心理学家Quillian在1968年提出的 用以刻画人脑联想行为的一个显式的心理学模型。 它用语义概念（结点）与概念间的语义关联性 （结点间的连线）来描述一个系统的静态组成， 有着很强的描述能力。
语义网络使用带标签的弧连接的节点集合来 表示信息，节点表示对象，概念或是事件；弧表 示节点之间的关系。
2004-10-9
DL & Ontology Language
25
描述逻辑中的推理
检测C关于Tbox T是否协调，即检测是否有T 的解释I使得C≠空集；检测知识库<T, A>是否协 调即检测是否有<T, A>的解释I存在。
检验一个概念的可满足性，实际上就是看是 否有解释使得这个概念成立。对一个概念C，如 果存在一个解释I使得CI是非空的，则称概念C是 可满足的，否则是不可满足的。
示例： Male∩Female ，Student∩Worker
2004-10-9
DL & Ontology Language
26
描述逻辑中的推理
实例检测即检测属于某个概念的所有实 例的集合。在知识库中检测实例，即检测 CI包含于DI是否在所有的解释中成立；在 Tbox 中 检 测 ， 即 检 测 CI 包 含 于 DI 是 否 在 Tbox T中的所有解释中成立。
总能保 证推理 算法的
终止
➢ 具有合适定义的语义(基于逻辑)
2004-10-9
DL & Ontology Language
12
描述逻辑发展历史
一节逻辑:
• Mary is a female:
female(Mary)
• John is a male:
male(John)
• Everybody is male or female: x: male(x) V female(x)
➢不易于进行信息检索 University of Bremen <br> </i> <b>Tel.:</b> +49-421-218-7091
<br>
<b> Email: </b> <a
href="mailto:heiner@tzi.uni-
2004-10-9
DL & Ontology Langubargeemen.de">heiner@tzi.de</a>7
描述逻辑依据提供的构造算子，在简单的概念和关 系上构造出复杂的概念和关系。描述逻辑至少包含以下 构造算子：交（∧），并（∨），非（），存在量词 （）和全称量词（）。这种最基本的描述逻辑称为 ALC。
2004-10-9
DL & Ontology Language
22
描述逻辑的体系结构
描述逻辑中的算子
a,b : R John, Mary : has child
2004-10-9
DL & Ontology Language
21
描述逻辑的体系结构
解释I是知识库K的模型，当且仅当I是K中每个断言 的模型。若一个知识库K有一个模型，则称K是可满足的。 若断言σ对于K的每个模型都是满足的，则称K逻辑蕴含σ， 记为K╞ σ。对概念C，若K有一个模型I 使得CI ≠ ，则 称C是可满足的。
最终，包含问题的检测与可满足性问题 的检测是一致的，都可以转化成可满足性 的检测。
2004-10-9
DL & Ontology Language
27
描述逻辑中的推理
描述逻辑的重要特征是其具有很强表达能力
的同时又具有可判定性，它能保证推理过程总能
停止并返回正确结果。描述逻辑中的可满足性问
题是可判定的，其它推理问题基本上可以归结为
描述逻辑与本体描述语言
报告人：王 大 治
2004-10-9
DL & Ontology Language
1
主要内容
➢Web的发展 ➢描述逻辑 ➢本体描述语言 ➢描述逻辑与本体描述语言
2004-10-9
DL & Ontology Language
2
Web的发展
Web Grid P2P Semantic Web Semantic Grid
2004-10-9
DL & Ontology Language
4
Semantic Web
我有一个关于万维网的 梦想，在第一部分中，万维 网变成了一个有利于人们相 互合作的强大工具；
在梦想的第二部分，合 作延伸到了计算机，机器变 得可以分析万维网上的所有 数据，包括内容、链接、以 及人与计算机之间的交互
2004-10-9
DL & Ontology Language
3
结构 结构
网络 结构
数据 访问
网络 安全
Grid，P2P
分布 计算
访问 接口
代理 协作
智能
分布 高效 安全
Web
智能
Semantic Grid？
智能 理解 协作
数据
语义
协议
表示
理解
规范
Semantic Web
智能 搜索
Web 服务
代理 协作
2004-10-9
DL & Ontology Language
5
Web与Semantic Web
Web是供人访问的，Semantic Web试图 让机器自动访问。
Web在人的操作下存储和交换信息， Semantic Web试图使机器代理存储和交 换信息。
语言 协议 工具 应用
2004-10-9
2004-10-9
DL & Ontology Language
14
描述逻辑发展历史
框架是把某一特殊事件或对象的所有 知识存储在一起的一种复杂的数据结构。 为了表示生活和工作中相对固定的情况， 1975年，Minsky提出了基于框架的表示方 法。它包含过去定义的内在关系的说明信 息和过程信息，依靠它们可以利用以前获 得的知识来解释新的数据。
2004-10-9
DL & Ontology Language
17
描述逻辑的体系结构
描述逻辑的知识库K=<T， A>，T即Tbox， A即Abox。
➢Tbox
Tbox包含内涵知识，描述概念的一般性质。 由于概念之间存在包含关系，Tbox知识形成类似 格的结构，这种数学结构是由包含关系决定的， 与具体实现无关；
2004-10-9
DL & Ontology Language
8
Web语言
RDF
Resource Description Framework 资源（Resource） 属性（Property） 声明（Statement）
Subject Property Object
2004-10-9
DL & Ontology Language
➢包含：声明包含关系的公理
CD has deg ree.Masters has deg ree.Bachelors
2004-10-9
DL & Ontology Language
20
描述逻辑的体系结构
ABox语言 ➢ 概念断言——表示一个对象是否属于某个概念
a:C John : Man has child.Female ➢ 关系断言——表示两个对象是否满足一定的关 系
Web语言 css, xsl ?
XML ➢数据和表示分离
<researcher> <name> dzwang </name> <affiliation>
➢允许自定义元数据
<group> Intelligent Systems </group>
➢元数据具有人可以 理解的语义
<institute> Center for Computing </institute>
2004-10-9
DL & Ontology Language
15
描述逻辑的体系结构
一个描述逻辑系统包括四个基本的组成部分： （1）表示概念和关系的构造集； （2）Tbox术语集（概念术语的断言集合）； （3）Abox断言集（个体的断言集合）； （4）Tbox和Abox上的推理机制。
不同的描述逻辑系统的表示能力与推理机制 由于对这四个组成部分的不同选择而不同。
简单的推理：
• ¬ (male(Mary))