A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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