A Symbolic Approach for Explaining Errors in Image Classification Tasks
Pellet : A practical OWL-DL reasoner