Design and Implementation of P2P Reasoning System Based on Description Logic | IEEE Conference Publication | IEEE Xplore