Proof for Multi-agent Communication of Semantic Web Information | IEEE Conference Publication | IEEE Xplore