计算机科学技术学院归国人员讲座
讲座题目：The Logical Difference for EL: from Terminologies towards TBoxes
主讲人：冯莎莎 伟德BETVlCTOR1946讲师
个人简介：现为伟德bv国际体育伟德BETVlCTOR1946讲师，科研工作主要侧重于描述逻辑中的推理。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报告厅
主办单位：伟德BETVlCTOR1946
伟德bv国际体育计算机科学技术研究所
伟德bv国际体育软件学院
符号计算与知识工程教育部重点实验室
中国计算机学会伟德bv国际体育员工分会
欢迎广大师生踊跃参加！
