计算机科学技术欧洲杯归国人员讲座

讲座题目：The Logical Difference for EL: from Terminologies towards TBoxes

主讲人：冯莎莎         欧洲杯 讲师

个人简介：现为欧洲杯 计算机欧洲杯讲师，科研工作主要侧重于描述逻辑中的推理。2014年至2015年在德国德累斯顿工业大学从事博士后研究。

讲座摘要：In this talk we are concerned with the logical difference problem between ontologies. The logical difference is the set of subsumption queries that follow from a first ontology but not from a second one. We revisit our solution to logical difference problem for EL-terminologies based on finding simulations between hypergraph representations of the terminologies, and we investigate a possible extension of the method to general EL-TBoxes.

讲座时间：2015年3月25日上午9：00

讲座地点：前卫南校区计算机大楼A521报告厅

主办单位：欧洲杯

欧洲杯 计算机科学技术研究所

欧洲杯 软件欧洲杯

符号计算与知识工程教育部重点实验室

中国计算机学会欧洲杯 学生分会

欢迎广大师生踊跃参加！