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