Using an ontology to solve the negotiation problems in mobile agent information system | IEEE Conference Publication | IEEE Xplore