任何战争都有地点，有时间，有参与 方，有发起方。
• 战争 v 9有地点.地点u 9有时间.时间u 9 参与方.国家u 9 发起方.国家
China 2009
20
思考： 如何写Tbox？
任何战争都有地点，有时间，而且至 少有两个参与方，至少有一个发起方。
• 战争 v 9有地点.地点u 9有时间.时间u （≥2）参与方.国家u （ ≥ 1）发起方. 国家
思考：可以推出何种结论？
• 有胜负的战争v战争 • 和局的战争v战争 • Disjoint（有胜负的战争，和局的战争） • 思考：如何表示“同一战争中的战胜 方必不是战败方，而且战败方必不是 战胜方”？
China 2009
23
思考：这些表达对不对？
• 国家 •
∩
-∩战败方-.战争）v u 9（战胜方 （
China 2009
11
Examples
woman ≡ person ⊓ female man ≡ person ⊓ ¬woman mother ≡ woman ⊓ ∃hasChild.person father ≡ man ⊓ ∃hasChild.person
China 2009
12
思考
如何用描述逻辑来定义下列家族概念： uncle, grandfather, stepfather
17
网友雪褥织影的 雪褥织影的回答 雪褥织影的
• 齐鲁之战 rdf:type 战争 齐国 rdf:type 国家 鲁国 rdf:type 国家 齐鲁之战 地点 长勺 齐鲁之战 发起方 齐国 齐鲁之战 参与方 齐国 齐鲁之战 参与方 鲁国 齐鲁之战 战败方 齐国
China 2009
18
用描述逻辑来表示
China 2009 14
How about that of Stepfather？
realfather ≡ man ⊓ ∃hasBornChild.person 思考：是否可以定义stepfather ≡ father ⊓ ¬realfather？ hasBornChild ⊆hasChild 思考： 是否可以推出Stepfather ⊆ father？ 思考： father ⊓ ¬ ∃hasBornChild.person ⊆stepfather?
China 2009 15
思考
• 为什么说人们通常说，Uncle关系在OWL-DL无法定义？
China 2009
16
一道来自W3China论坛的问题
• 如何用RDF描述“齐国讨伐鲁国，战于 长勺，齐国战败”？ RDF 三元组：<s,p,o>
• • • •
China 2009
这里s：主语 p：谓语 o:宾语 特殊谓语：type， subClassOf
• - (role inverse)
(role conjunction)
⊥
•X战争的战胜国 = 9战胜方-.{X} u战争（X） u 国家 •X战争的战败国 = 9战败方-.{X} u战争（X） u 国家 •Disjoint（ X战争的战胜国， X战争的战败国 ）
China 2009 24
郑州官员“说话门”事件
China 2009 6
知识表示实验 Experiments of Knowledge Representation
China 2009
7
知识表示实验一
• 以“海洋”为核心概念，写出在你脑 海里依次联想而出的其他概念及其相 应的联系。
注意要点： 1. 使用自然语言来描述 2. 不要考虑描述逻辑表达能力的限制 3. 还可以扩展到其他核心联想概念
征集最佳章回描述标题
China 2009
28
Questions
China 2009
29
China 2009
21
思考： 如何描述战争与战败方 和战胜方的关系？
有胜负的战争是有战胜方和战败方的战争 和局的战争是没有战胜方和战败方的战争 •有胜负的战争 = 战争 u 9 战败方.国家 战胜方.国家u
9
•和局的战争 = 战争 u : 9 战胜方.国家u : 9 战败方.国家
China 2009 22
语义网的逻辑基础
Logical Foundation of the Semantic Web
主讲： 黄智生 Zhisheng Huang Vrije University Amsterdam， The Netherlands huang@cs.vu.nl
助教： 胡伟 Wei Hu Southeast University whu@
• Abox: 战争(齐鲁之战) 国家 (齐国) 国家 ( 鲁国) 有地点 (齐鲁之战, 长勺) 有时间 (齐鲁之战, 公元前684年 ) 发起方 (齐鲁之战, 齐国) 参与方 (齐鲁之战, 齐国) 参与方(齐鲁之战, 鲁国) 战败方 (齐鲁之战, 齐国)
China 2009 19
思考： 如何写Tbox？
China 2009 1
课程时间表Schedule
China 2009
2
专题讨论：描述逻辑与知识表示 Discussion: Description Logics and Knowledge Representation
• • • •
什么是知识表示？ 知识表示实验 描述逻辑能够作什么？ 逻辑与推理实例分析
China 2009
26
一个来自实际生活的例子（续）
• 党 =执政者 即党等于执政者 • 老百姓=非执政者 即老百姓等于非执政者 是否可以推出下列结论？ Disjoint（替党说话， 替老百姓说话） 你是准备替党说话，还是准备替老百姓说话?
China 2009
27
语义网逻辑基础演义
第三回：心思开阔描知识不拘一格 畅所欲言说表示各显神通 欲知后事如何，请听下回分解。。。
• 据中央人民广播电台经 济之声2009年6月17日 报道，河南郑州市须水 镇西岗村原本被划拨为 建设经济适用房的土地 被开发商建了别墅和楼 中楼，记者对郑州市规 划局进行采访时遭到副 局长质问：是准备替党 说话，还是准备替老百 姓说话?
China 2009 25
一个来自实际生活的例子
• Disjoint（执政者， ¬执政者） 即执政者与非执政者是（完全）不一样的 • Disjoint（从执政者角度说话， 从非执政者角度 说话） 即从执政者角度说话与从非执政者角度说话是 （完全）不一样的 • 从X角度说话=>替X说话 即从X角度说话就表明了是替X说话
China 2009
8
知识表示实验二
• 以“南京”为核心词汇，写出在你脑 海里依次联想而出的其他词汇及其相 应的联系。
China 2009
9
知识表示实验三
• 以“仁”为核心词汇，写出在你脑海 里依次联想而出的其他词汇及其相应 的联系。
China 2009
10
描述逻辑能够作什么？
• 从一些实例上看
China 2009
3
什么是知识表示？
What is Knowledge Representation?
• 知识表示是研究如何使用形式化的符号系统来表 达特定的知识的一个学术分支。作为人工智能的 一个分支，它还研究如何在计算机系统上实现其 推理过程。
• Generally speaking, some kind of logic is used both to supply a formal semantics of how reasoning functions apply to symbols in the domain of discourse, as well as to supply (depending on the particulars of the logic), operators such as quantifiers, modal operators, etc. that, along with an interpretation theory, give meaning to the sentences in the logic.
China 2009 4
知识工程 Knowledge Engineering
• 知识表示语言（Knowledge Representation Languages） • 知识获取（Knowledge Acquisition) • 推导和推理（Inference and Reasoning) • 知识库管理 （Management of Knowledge Bases)
China 2009
5
推导和推理 Inference and Reasoning • 推导： 研究如何从前提来获得逻辑结论 Inference is the act or process of deriving a logical consequence conclusion from premises. • 推理： 指对特定结论，判断，行为或感 觉寻找理由解释的认知活动 Reasoning is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings.
China 2009
13
Examples
woman ≡ person ⊓ female man ≡ person ⊓ ¬woman mother ≡ woman ⊓ ∃hasChild.person father ≡ man ⊓ ∃hasChild.person parent ≡ mother V father hasSibling ≡ hasBrother V hasSister uncle ≡ man ⊓ ∃hasSibling.parent grandfather ≡ man ⊓ ∃nt