Resource integration using a large knowledge base in Carnot | IEEE Journals & Magazine | IEEE Xplore