World-altering Features Of Semantic Web Service Description Languages

Semantic Web services are traditional Web services annotated with Semantics. The semantics is given using formal languages so that the machines can process the service descriptions. By enabling the machines to process the Web services’ descriptions, a software (as an agent) can discover, compose and execute the Web services automatically and autonomously. Moreover, the descriptions made available in semantic Web services facilitate the distinction between two major categories of Web services called information-providing and worldaltering categories. The world-altering Web services have some knowledge-world or real-world effects other than input, output, and precondition properties of informationproviding category. The differentiation is crucial for a mediation technique of Web services. For example, the mediator, which stands between providers and their consumers, may need to undo the effects of a world-altering Web service. In this paper, we briefly describe the features of semantic service description languages specifically related to the world-altering services.