Abstract: | Ubiquitous computing paradigms involving social agents require principled selection of services, context-aware analysis, and satisfaction of requests, as well as dynamic interaction and negotiation with other agents. Synergies between semantic technologies and service discovery facilitate rich and formal representations of services and agent interactions as well as specialization and generalization of service needs. In this paper, we provide an extensive review of semantic Web service discovery, highlighting the state-of-the-art approaches, the key semantic formalisms employed, as well as benchmarks and testbeds for performance evaluation. Defining a generic framework for semantic service discovery, we describe the key tasks and criteria involved in agent-based computing. A detailed comparison of the popular discovery systems is performed with a discussion on trade-offs between existing approaches. We conclude by pointing out important research challenges to be addressed for next-generation service discovery by dynamic multi-agent systems in complex environments. |