Thorsten Liebig Friedrich W. von Henke Olaf Noppens Explanation Support for OWL Authoring. 86-93 2005 conf/exact/2005 ExaCt db/conf/exact/exact2005.html#LiebigHN05