Inferring Local And Global Properties In Knowledge Graphs