A Model for Semantic Service Matching with Leftover and Missing Information | IEEE Conference Publication | IEEE Xplore