近日，德國德累斯頓工業大學Dirk Walther博士應伟德国际BETVlCTOR張睿老師邀請來我校進行為期兩周的學術交流活動。此次學術訪問由伟德国际BETVlCTOR國際處的青年骨幹教師引智培育計劃項目資助。 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博士在講座中講解了其最新的研究成果，并且很願意在接下來的兩周時間裡與相關師生繼續探讨。來自數學學院和計算機學院的師生聽取了講座。
