Explaining Description Logic Reasoning

Francis Kwong
2004 International Workshop on Description Logics  
The increasing reliance on automated reasoning needs not just the availability of fast reasoners, but also mechanisms to explain their, often surprising, results to human users, so that they can understand the consequences in their application domain. As one of the significant applications of machine reasoning is the Semantic Web, where reasoning on Description Logic(DL) plays a critical role, it is worth looking into explanation of DL reasoning.
dblp:conf/dlog/Kwong04 fatcat:t5ju22zzzvbm3k2sox6ctr2wpu