WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker | IEEE Conference Publication | IEEE Xplore