纪念王湘浩先生诞辰100周年系列活动之计算机科学技术名家讲座（Dirk Walther）
讲座题目：Towards a Practical Algorithm for the Logical Difference of EL-TBoxes
主讲人：Dirk Walther, Ph.D. Research Associate
Faculty of Computer Science, Dresden University of Technology, Germany
讲座时间：2015年11月3日 上午10:00
讲座地点：计算机楼A521
报告摘要：We investigate the logical difference problem between general EL-TBoxes. The logical difference is the set of concept subsumptions that are logically entailed by a first TBox but not by a second one. The problem of deciding whether a logical difference between EL-TBoxes exists has been classified as ExpTime-complete using automata-theoretic techniques. However, no practical algorithm solving this problem exists so far. We develop a hypergraph-based approach according to which subsumptions that are entailed by the first TBox are represented together with the second TBox in dedicated hypergraphs. Deciding whether these subsumptions also follow from the second TBox is based on checking for the existence of simulations between the hypergraph representations.
个人简介：Dr. Dirk Walther has obtained his PhD from the University of Liverpool 2007, where he continued working as a postdoc until 2009. From 2010 he held a Juan de la Cierva post-doctoral research fellowship at the Technical University of Madrid (UPM) in Spain. From 2013 he works as a research associate at the Dresden University of Technology in Germany in the Center For Advancing Electronics Dresden (cfAED). He has been a PC member of many important conferences such as IJCAI, AAAI and AAMAS.
主办单位：十大菠菜导航网
菠菜导航网计算机科学技术研究所
菠菜导航网软件学院
符号计算与知识工程教育部重点实验室
