语义Web,SemanticWeb(普适计算).doc

x010039M：语义Web及应用 Ubiquitous Computing & Semantic Web湖南大学计算机与通信学院研究生选修课程 语义Web及应用课程教学大纲课程代码x010039M课程名称语义Web及应用学时/学分2先修知识计算机网络，程序设计，人工智能（可选）开课单位湖南大学计算机与通信学院学生人数18开课时间2009年春季学期第11-18周;每周一（7，8）每周三（1，2）授课地点逸夫楼南楼授课教师李晓鸿使用教材语义网基础教程一、内容摘要本课程的主要内容包括四部分1、语义Web的基本概念和原理。包括普适计算和语义Web的基本概念，语义及语义Web的框架；2、语义Web的逻辑基础。包括知识表示与逻辑推理，本体理论与工程；3、语义Web的应用，包括软件自动化和领域工程等；4、实验。培养灵活利用理论和工具解决问题的能力。二、内容目录第一讲 绪论第二讲 语义表达和理解第三讲 语义WEB框架（XML,RDF,OWL）第四讲 知识表示第五讲 描述逻辑引论第六讲 描述逻辑基本理论（1）第七讲 描述逻辑基本理论（2）第八讲 描述逻辑与内涵逻辑第九讲 模型论与PetriNet介绍第十讲 本体构建理论与工程第十二讲 从J2EE,SOA到语义Web Service及语义WEB第十一讲 基于本体的领域工程（层次概念模型及其转换）第十三讲 语义规划与任务自动组装第十四讲 过程代数与行为逻辑第十五讲 一个综合实例：基于本体的教育知识工程三、教学方式课堂讲授+课堂报告+ 技术论文：课堂参与（10）+ 课堂报告（40）+ 课程技术论文（50） 语义Web及应用课程内容安排授课内容讲义授课时间课程简介 Html 2009.4.27第一章 绪论html 2009.4.27第二章 语义表达和理解（形式系统）html 2009.4.29第三章 语义Web框架（1）XML 语义Web框架（2）RDF Model 语义Web框架（3）RDF Schema 语义Web框架（4）RDF Schema 推理 语义Web框架（5）RDF Model Theory SPARQL Query Language for RDFhtml html html pdf pdf 2009.5.42009.5.6第四章 知识表示html 2009.5.11第五章 描述逻辑 描述逻辑系统及应用 描述逻辑基本描述理论 本体构建/ 基于描述逻辑的推理与应用系统 描述逻辑推理机原理与工具 OWL语言简介html html html html html 2009.5.132009.5.18第六章 描述逻辑与模态逻辑外延逻辑，内涵逻辑，动态逻辑，描述逻辑html 2009.5.20第七章 SOA, Web Service，语义Web Service语义WebService组装，AI Planning基于本体的搜索引擎html pdf 2009.5.252009.5.27四、在线教材：五、 参考书1. The Semantic Web. Michael C.Daconta, Leo J.Obrst, Kevin T,Smith.Wiley,2003.2. The Description Logic Handbook:Theory, Implementation and Applications Edited by Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider. Cambridge University Press. January 2003.3. Knowledge Representation:Logical, Philosophical and Computational Foundations.John F.Sowa.Reprinted in China,2003。4. Artificial Intelligence: A Modern Application Stuart Russell. Peter Norvig.Reprinted in Chin，2003.5. 逻辑语言计算。马希文文选。商务印书馆。2003。6. 计算语言学导论。翁富良，王野翊。中国社会科学出版社。7. 行为的结构。法莫里斯-海格。商务印书馆。8. 逻辑学大辞典。彭漪涟等。上海辞书出版社。六、相关链接Course Material: OilEd OilEd Installation OilViz visualisation plugin for OilEd Angus Roberts OilEd Tutorial FaCT Reasoner Links: W3C Web-Ontology (WebOnt) Wor