Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods.

Thorsten Liebig Stephan Scheele Julian Lambertz Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. 2007 Description Logics http://ceur-ws.org/Vol-250/paper_44.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#LiebigSL07