計算機科學技術學院歸國人員講座
講座題目：The Logical Difference for EL: from Terminologies towards TBoxes
主講人：馮莎莎 伟德国际BETVlCTOR講師
個人簡介：現為伟德国际BETVlCTOR講師，科研工作主要側重于描述邏輯中的推理。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報告廳
主辦單位：伟德国际BETVlCTOR
伟德国际BETVlCTOR計算機科學技術研究所
伟德国际BETVlCTOR軟件學院
符号計算與知識工程教育部重點實驗室
中國計算機學會伟德国际BETVlCTOR學生分會
歡迎廣大師生踴躍參加！
