Knowledge Representation and Reasoning in Deep Learning