HOLMES: HOLonym-MEronym based Semantic inspection for Convolutional Image Classifiers