Logic Inference-Based Semantic Web Service for KB Retrieval | IEEE Conference Publication | IEEE Xplore