计算机科学技术澳门新葡京娱乐城 归国人员讲座

讲座题目：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报告厅

主办单位：澳门新葡京娱乐城(中国)官方网站

吉林大学计算机科学技术研究所

吉林大学软件澳门新葡京娱乐城

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

中国计算机学会吉林大学学生分会

欢迎广大师生踊跃参加！