中文XML论坛--（录音已于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热心提供此录音！

[此贴子已经被作者于2011-1-2 15:04:02编辑过]

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

活动很好，希望可以扩大中国语义Web的群众基础。同时，更希望黄老师可以介绍一些新的观念，特别可以结合LARKC介绍一些研究动态，这样对于中国相关研究人员了解最新动态，并提高积极性有很大的好处。仅属于个人建议。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

LARKC？就是“大规模知识对撞机（The Large Knowledge Collider）”吗？
的确头一次听说，搜索的结果只有这个解释最接近这个主题的情况了。据称是欧洲的一个大规模集成项目，不过一见到“集成”二字就不由得感觉头晕。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

很好的课程，支持！可惜去不了。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

还要坐飞机才能去。。。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

以下是引用itsbattery在2009-5-8 22:24:00的发言：
还要坐飞机才能去。。。

我也是

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

不错呀，都选择飞机做为交通工具了。不过坐飞机单位也给报销？

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

很向网见识大师风范，可惜没时间啊

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

只能够看看主页学习学习了
谢谢！！

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

支持！！！！！！！！！

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

本次暑期班的课件PPT可以从下列网站下载：

第一讲：现代逻辑导论
http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool1.ppt

第二讲：描述逻辑导论
http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool2.ppt

专题讨论：描述逻辑与知识表示
http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool3.ppt

第三讲：描述逻辑：可判定性与复杂性

http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool4.ppt

（其他PPT将陆续加上）

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

怎么打不开啊？

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

课件上内容只是框架，请问有没有视频或音频？错过黄老师的课，太遗憾！

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

以下是引用windking8888在2009-8-27 19:37:00的发言：
课件上内容只是框架，请问有没有视频或音频？错过黄老师的课，太遗憾！

已有热心同仁进行了录音，请等待上传。

姓名：(无权查看)
城市：(无权查看)
院校：(无权查看)

以下是引用Huang在2009-8-27 13:22:00的发言：
本次暑期班的课件PPT可以从下列网站下载：

第一讲：现代逻辑导论
http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool1.ppt

第二讲：描述逻辑导论
http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool2.ppt

专题讨论：描述逻辑与知识表示
http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool3.ppt

第三讲：描述逻辑：可判定性与复杂性

http://wasp.cs.vu.nl/CSWS09SummerSchool/ppt/China09SummerSchool4.ppt

（其他PPT将陆续加上）

谢谢黄老师！


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	203.125ms