Knowledge and Reasoning for Image Understanding