植入互联网基因戴尔转型电商30.pptx

China 20111语义万维网的逻辑基础 Logical Foundation of the Semantic Web主讲： 黄智生 Zhisheng HuangVrije University Amsterdam， The Netherlandshuang@cs.vu.nl助教： 胡青 Qing HuWuhan University of Science and Technologyhuqing@wust.edu.cn China 20112课程时间表Schedule时间上午9:30-11:30下午2:30-4:302011.8.22报到第一讲：现代逻辑导论2011.8.23第二讲：描述逻辑导论专题讨论：描述逻辑与知识表示2011.8.24第三讲：语义Web与逻辑I集体活动：远足或 专题研讨会I2011.8.25第四讲：语义Web与逻辑II第五讲：本体推理与管理2011.8.26第六讲：语义技术与应用开发专题研讨会II2011.8.27CCF YOCSEF论坛：Large-Scale and Scalable Semantic Computing 2011.8.28首届“语义技术与与生命科学”高峰论坛 China 20113描述逻辑是什么？描述逻辑基本系统描述逻辑种类描述逻辑实例 讲座2：描述逻辑导论Lecture 2: Introduction to Description Logics China 20114描述逻辑是一类知识表示语言表达应用领域的概念定义（有可以被看作为专业术语知识）Description logics (DL) are a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge)描述逻辑是什么？ What are Description Logics? China 20115描述逻辑简史A Brief History of Description LogicsMajor focus of KR research in the 80’sLed by Ron Brachman – (AT&T Labs)Grew out of early network-based KR systems like semantic networks and frames.Major systems and languages –80s: KL-ONE, NIKL, KANDOR, BACK, CLASSIC, LOOM90s: FACT, RACER, 00s: DAML+OIL, OWLUsed as the basis for the Semantic web languages DAML+OIL and OWLSome (one) commercial systems China 20116概念与本体Concepts and OntologiesPhilosophical discipline, branch of philosophy that deals with the nature and the organisation of reality.Science of Being (Aristotle, Metaphysics, IV,1)What is being?What are the features common to all beings? China 20117Vocabulary and Ontology Controlled vocabulary (Jernst 2003) : a list of controlled termsunambiguousnon-redundant definitionOntology: a controlled vocabulary expressed in an ontology representation language (Jernst 2003) China 20118In computer science …An ontology is an explicit specification of a conceptualization. [Gruber93]An ontology is a shared understanding of some domain of interest. [Uschold, Gruninger96]There are many definitio