Integration, Provenance, And Temporal Queries For Large-Scale Knowledge Bases