Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods

Thorsten Liebig, Stephan Scheele, Julian Lambertz
2007 International Workshop on Description Logics  
dblp:conf/dlog/LiebigSL07 fatcat:g4blg3hmznafnmwbzfnjs3psii