近日，德国德累斯顿工业大学Dirk Walther博士应太阳成集团tyc122cc张睿老师邀请来我校进行为期两周的学术交流活动。此次学术访问由太阳成集团tyc122cc国际处的青年骨干教师引智培育计划项目资助。 2015年11月3日上午，Dirk Walther博士做题为“寻找计算EL-TBoxes逻辑差的实用算法”的学术报告。
Dirk Walther博士2007年在英国利物浦大学获得计算机科学博士学位后留校从事博士后研究至2009年。从2010年起他在西班牙马德里工业大学任Juan de la Cierva研究员。从2013年起他在德国德累斯顿工业大学的cfAED项目中任副研究员。Walther博士是IJCAI, AAAI, AAMAS等许多著名国际会议的PC member。Walther博士分别在2013年和2014年的欧洲逻辑、语言与信息学暑期学校（ESSLLI）中讲授课程“本体中的模块”和“本体的逻辑差”。
在计算机科学与信息科学中，本体作为一种知识表示方法为特定领域中的概念及其相关之间关系提供形式化表达。本体的构建与维护需要本体的版本控制来管理同一本体的不同版本。2008年提出的本体间的逻辑差概念能更准确地体现本体不同版本间的语义差别。EL术语集之间的逻辑差求解问题已经解决，但是，表达能力更强的EL TBox之间的逻辑差求解算法仍然未知。Walther博士在讲座中讲解了其最新的研究成果，并且很愿意在接下来的两周时间里与相关师生继续探讨。来自数学学院和计算机学院的师生听取了讲座。
