RevelioNN: Retrospective Extraction of Visual and Logical Insights for Ontology-Based Interpretation of Neural Networks | IEEE Conference Publication | IEEE Xplore