Infomaster-based Web Service Description with pre-conditions, effects, and related axioms described in KIF