计算机科学技术学院归国人员讲座
讲座题目：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报告厅
主办单位：吉林大学计算机科学与技术学院
吉林大学计算机科学技术研究所
吉林大学软件学院
符号计算与知识工程教育部重点实验室
中国计算机学会吉林大学学生分会
欢迎广大师生踊跃参加！
