-- 发布时间：4/14/2009 8:22:00 PM
-- （录音已于2011年重新上传，可下载，见1楼） 2009年“语义万维网的逻辑基础”暑期课程，南京，东南大学，2009年8月24~28日
语义万维网的逻辑基础
授课时间：2009年8月24日 至 2009年8月28日
授课地点：南京市 东南大学九龙湖校区 计算机楼301室
主讲人：黄智生教授（Zhisheng Huang）
主讲人简介：黄智生教授博士毕业于荷兰阿姆斯特丹大学逻辑研究所。目前他是荷兰阿姆斯特丹自由大学计算机系的高级研究员，也是东南大学计算机学院和江苏科技大学的客座教授。他的研究兴趣包括：语义Web的逻辑基础、智能多媒体技术、智能Agent的形式化理论与实现、决策支持系统的应用逻辑以及行为推理等。迄今为止，他已在国际高水平期刊会议上发表学术论文百余篇。
个人主页：[URL=http://www.cs.vu.nl/%7Ehuang/]http://www.cs.vu.nl/~huang/[/URL] 黄智生
助教：胡伟 ([URL=mailto:whu@seu.edu.cn]whu@seu.edu.cn[/URL])
课程时间表
日期 上午 下午
2009年8月24日（星期一） 第一讲：现代逻辑导论
2009年8月25日（星期二） 第二讲：描述逻辑导论 专题讨论：描述逻辑与知识表示
2009年8月26日（星期三） 第三讲：描述逻辑：可判断性与复杂性 集体活动：远足或其它活动
2009年8月27日（星期四） 第四讲：语义Web与逻辑 第五讲：本体推理与管理I
2009年8月28日（星期五） 第六讲：本体推理与管理II 特邀讲座（潘志霖博士Jeff Z. Pan）：OWL2
报名
* “语义万维网的逻辑基础”课程的报名时间为：2009年5月1日至2009年6月30日。由于教室场地限制，课程仅接受国内在校研究生、博士后和青年教师报名。计划接受兄弟院校的研究生、博士后和青年教师20名。各院校报名人数请尽量控制在5名以内（含5名），博士生优先。原则上，先报先得，但是不排除根据报名情况酌情调整。最终以电子邮件的形式回复确认。
* 课程不收取任何学费，食宿自理。
* 报名时，请下载填写课程报名表，并且通过电子邮件发送给课程助教胡伟（whu@seu.edu.cn），邮件标题请注明：语义万维网暑期课程+姓名+学校。另外，发送邮件时请一并提供有效的身份证明材料（例如，有效的研究生证、工作证扫描件）。
住宿
* 九龙湖宾馆
* 周边其它
用餐
* 东南大学学生食堂
o 梅园食堂（含一个小型学生餐厅）
o 橘园食堂
* 东南大学九龙湖宾馆
交通
* 火车
o 南京（火车）站下车，乘坐地铁从“南京站”站至“安德门”站，换乘公交清安线从“安德门”站至东南大学西门。全程耗时约1.5小时，费用约5元。
* 长途汽车
o 南京中央门汽车站下车，乘坐地铁从“新模范马路”站至“安德门”站，换乘公交清安线从“安德门”站至东南大学西门。全程耗时约1.5小时，费用约5元。
o 南京中华门汽车站下车，乘坐地铁从“中华门”站至“安德门”站，换乘公交清安线从“安德门”站至东南大学西门。全程耗时约1小时，费用约4元。
* 飞机
o 南京禄口机场，乘坐机场大巴“翠屏山宾馆”站下车，换乘出租车至东南大学西门。全程耗时约1小时，费用约50元。
o 南京禄口机场，直接乘坐出租车至东南大学西门。全程耗时约30分钟，费用约80元。
集体活动
* 远足或者其它活动（待定）
详情参见这里：http://iws.seu.edu.cn/csws2009/summer_school.html
课程PPT下载
第一讲：现代逻辑导论
第二讲：描述逻辑导论
专题讨论：描述逻辑与知识表示
第三讲：描述逻辑：可判断性与复杂性
第四讲：语义Web与逻辑
第五讲：本体推理与管理I
第六讲：本体推理与管理II
特邀讲座（潘志霖博士Jeff Z. Pan）：OWL2
下载地址：http://ws.nju.edu.cn/resources/courses/sw_logics.zip
课程录音下载
录音共分8个部分（每个文件80~100M不等）：
[url=viewfile.asp?id=10056]黄智生博士 语义万维网的逻辑基础 第1部分[/url]
[url=viewfile.asp?id=10057]黄智生博士 语义万维网的逻辑基础 第2部分[/url]
[url=viewfile.asp?id=10058]黄智生博士 语义万维网的逻辑基础 第3部分[/url]
[url=viewfile.asp?id=10059]黄智生博士 语义万维网的逻辑基础 第4部分[/url]
[url=viewfile.asp?id=10060]黄智生博士 语义万维网的逻辑基础 第5部分[/url]
[url=viewfile.asp?id=10061]黄智生博士 语义万维网的逻辑基础 第6部分[/url]
[url=viewfile.asp?id=10062]黄智生博士 语义万维网的逻辑基础 第7部分（Jeff Z. Pan博士特邀报告）[/url]
[url=viewfile.asp?id=10063]黄智生博士 语义万维网的逻辑基础 第8部分（自由讨论）[/url]
以上录音来源于2009年8月24日至28日东南大学夏季语义网课程。
课程主讲人黄智生博士，特邀报告者潘志霖博士。感谢YSW热心提供此录音！