An ontology tool for query formulation in an agent-based context | IEEE Conference Publication | IEEE Xplore