南京大学计算机软件新技术国家重点实验室 

摘 要：

SPARQL是W3C官方推荐的RDF查询语言。本报告将介绍SPARQL语言的可满足性问题最新进展，包括SPARQL 1.0和SPARQL 1.1 语言上的可满足性问题，进一步对这些基本理论性质在知识图谱查询处理应用展开讨论和展望。

报告人简介:

张小旺，博士，天津大学智能与计算学部副教授，博士生导师，天津市认知计算与应用重点实验室副主任，2016入选天津市“千人计划”青年项目，2018年入选天津大学“北洋青年学者”计划。研究方向包括人工智能、知识图谱、数据库等。目前主持国家重点研发计划"云计算与大数据"和“精准医学”专项子课题2项，国家自然科学基金项目1项。在JAIR，AAAI，IJCAI，WWW，ISWC, ICDT, ESWC, CIKM等国内外期刊会议上发表论文70余篇。2016年，获得ACM天津新星奖。

时间：5月27日  13:00-14:00

地点：计算机科学技术楼229室