An Implementation of Theory Grid with Linked Data Technologies | IEEE Conference Publication | IEEE Xplore