A logic-based approach for query refinement in ontology-based information retrieval systems | IEEE Conference Publication | IEEE Xplore