语义万维网的逻辑基础
http://iws.seu.edu.cn/csws2009/summer_school.html

授课时间：2009年8月24日 至 2009年8月28日
授课地点：南京市 东南大学九龙湖校区 计算机楼301室

主讲人：黄智生（Zhisheng Huang）


个人主页：http://www.cs.vu.nl/~huang/  黄智生

助教：胡伟 (whu@seu.edu.cn)

课程时间表
日期                                        上午                                   下午
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