描述逻辑与本体描述语言

DL & Ontology Language
13
描述逻辑发展历史
语义网络是心理学家Quillian在1968年提出的 用以刻画人脑联想行为的一个显式的心理学模型。 它用语义概念（结点）与概念间的语义关联性 （结点间的连线）来描述一个系统的静态组成， 有着很强的描述能力。
语义网络使用带标签的弧连接的节点集合来 表示信息，节点表示对象，概念或是事件；弧表 示节点之间的关系。
最终，包含问题的检测与可满足性问题 的检测是一致的，都可以转化成可满足性 的检测。
2004-10-9
DL & Ontology Language
27
描述逻辑中的推理
描述逻辑的重要特征是其具有很强表达能力
的同时又具有可判定性，它能保证推理过程总能
停止并返回正确结果。描述逻辑中的可满足性问
题是可判定的，其它推理问题基本上可以归结为
2004-10-9
DL & Ontology Language
8
Web语言
RDF
Resource Description Framework 资源（Resource） 属性（Property） 声明（Statement）
Subject Property Object
2004-10-9
DL & Ontology Language
9
Web语言
RDF文档：
<?xml version="1.0"?> <Class rdf:ID="Resource"
xmlns:rdf="/1999/02/22-rdfsyntax-ns#"
xmlns="uri"> <property>value</property> <property>value</property> ... </Class>
2004-10-9
DL & Ontology Language
23
描述逻辑的体系结构
描述逻辑中的其他算子
2004-10-9
DL & Ontology Language
24
描述逻辑中的推理
➢一致性（consistency） ➢可满足性(satisfiability) ➢包含检测（subsumption） ➢实例检测(instance checking)
可满足性问题，可满足性问题是描述逻辑推理的
主要问题。描述逻辑中的推理问题其计算复杂性
一般是多项式时间的。但通常由于构造的不同， 其复杂性也有一定的差异。Schmidt和Smolka首 先发现了用于描述逻辑ALC的Tableau算法，该算 法能在多项式时间内判定ALC概念的可满足性问 题。
2004-10-9
➢不易于进行信息检索 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
2004-10-9
DL & Ontology Language
15
描述逻辑的体系结构
一个描述逻辑系统包括四个基本的组成部分： （1）表示概念和关系的构造集； （2）Tbox术语集（概念术语的断言集合）； （3）Abox断言集（个体的断言集合）； （4）Tbox和Abox上的推理机制。
不同的描述逻辑系统的表示能力与推理机制 由于对这四个组成部分的不同选择而不同。
2004-10-9
DL & Ontology Language
10
Web语言
RDF的特点：
➢ 基于XML语法，使表示出来的XML/RDF文档具 有语义理解的结构基础。
➢ 促进了统一词汇表的使用。 ➢ 允许简单的逻辑推理。
2004-10-9
DL & Ontology Language
11
描述逻辑的定义
2004-10-9
DL & Ontology Language
3
结构 结构
网络 结构
数据 访问
网络 安全
Grid，P2P
分布 计算
访问 接口
代理 协作
智能
分布 高效 安全
Web
智能
Semantic Grid？
智能 理解 协作
数据
语义
协议
表示
理解
规范
Semantic Web
智能 搜索
Web 服务
代理 协作
2004-10-9
DL & Ontology Language
16
描述逻辑的体系结构
概念和关系 ➢ 概念——解释为一个领域的子集
示例：学生，已婚者： {x| Student(x) }，{x| Married(x) } ➢ 关系——解释为指该领域上的二元关系（笛卡 尔乘积） 示例：朋友，爱人： {<x,y> | Friend(x,y) } ，{<x,y> | Loves(x,y) }
2004-10-9
DL & Ontology Language
4
Semantic Web
我有一个关于万维网的 梦想，在第一部分中，万维 网变成了一个有利于人们相 互合作的强大工具；
在梦想的第二部分，合 作延伸到了计算机，机器变 得可以分析万维网上的所有 数据，包括内容、链接、以 及人与计算机之间的交互
DL & Ontology Language
6
Web语言
HTML
➢数据和表示共存一体
➢信息量巨大
<b> Heiner Stuckenschmidt </b>
➢元数据单一且固定
<br> <i> Intelligent Systems
Group,<br>
➢信息易于表示和发布 Center for Computing Technology,<br>
示例： Male∩Female ，Student∩Worker
2004-10-9
DL & Ontology Language
26
描述逻辑中的推理
实例检测即检测属于某个概念的所有实 例的集合。在知识库中检测实例，即检测 CI包含于DI是否在所有的解释中成立；在 Tbox 中 检 测 ， 即 检 测 CI 包 含 于 DI 是 否 在 Tbox T中的所有解释中成立。
2004-10-9
DL & Ontology Language
25
描述逻辑中的推理
检测C关于Tbox T是否协调，即检测是否有T 的解释I使得C≠空集；检测知识库<T, A>是否协 调即检测是否有<T, A>的解释I存在。
检验一个概念的可满足性，实际上就是看是 否有解释使得这个概念成立。对一个概念C，如 果存在一个解释I使得CI是非空的，则称概念C是 可满足的，否则是不可满足的。
➢包含：声明包含关系的公理
CD has deg ree.Masters has deg ree.Bachelors
2004-10-9
DL & Ontology Language
20
描述逻辑的体系结构
ABox语言 ➢ 概念断言——表示一个对象是否属于某个概念
a:C John : Man I has child.Female ➢ 关系断言——表示两个对象是否满足一定的关 系
➢Abox
Abox包含外延知识（又称断言知识），描述 论域中的特定个体。
2004-10-9
DL & Ontology Language
18
描述逻辑的体系结构
2004-10-9
DL & Ontology Language
19
描述逻辑的体系结构
TBox语言 ➢定义: 引入概念的名称
A BC, A C Father B Man I has child.Human Human Animal I Biped
2004-10-9
DL & Ontology Language
17
描述逻辑的体系结构
描述逻辑的知识库K=<T， A>，T即Tbox， A即Abox。
➢Tbox
Tbox包含内涵知识，描述概念的一般性质。 由于概念之间存在包含关系，Tbox知识形成类似 格的结构，这种数学结构是由包含关系决定的， 与具体实现无关；
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是可满足的。
DL & Ontology Language
28
描述逻辑的特点
描述逻辑具有以下特点： （1）它有清晰的模型-理论机制，具有很
强的表达能力； （2）适合于通过概念分类学来表示应用领
域； （3）提供了可判定的推理服务，能保证推