On Extending Semantic Matchmaking to Include Preconditions and Effects | IEEE Conference Publication | IEEE Xplore