Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
An axiomatic basis for computer programming
Communications of the ACM
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
A Software Framework for Matchmaking Based on Semantic Web Technology
International Journal of Electronic Commerce
Modeling Semantic Web Services: The Web Service Modeling Language
Modeling Semantic Web Services: The Web Service Modeling Language
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
A Flexible Model for Locating Services on the Web
International Journal of Electronic Commerce
Deciding semantic matching of stateless services
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A caching mechanism for semantic web service discovery
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
WSMO-lite annotations for web services
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
The SWRC ontology – semantic web for research communities
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Automatic location of services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
An expressive and efficient solution to the service selection problem
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Syntax, semantics and pragmatics in communication
Proceedings of the 7th International Conference on Semantic Systems
Leveraging Incrementally Enriched Domain Knowledge to Enhance Service Categorization
International Journal of Web Services Research
Integrating semantic Web services ranking mechanisms using a common preference model
Knowledge-Based Systems
Scalable discovery of Linked APIs
International Journal of Metadata, Semantics and Ontologies
Hi-index | 0.00 |
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architectures in combination with the acceptance of the Web as a platform for carrying out electronic business triggers a need for automated methods to find appropriate Web services. Various formalisms for discovery of semantically described services with varying expressivity and complexity have been proposed in the past. However, they are difficult to use since they apply the same formalisms to service descriptions and requests. Furthermore, an intersection-based matchmaking is insufficient to ensure applicability of Web services for a given request. In this paper we show that, although most of prior approaches provide a formal semantics, their pragmatics to describe requests is improper since it differs from the user intention. We introduce distinct formalisms to describe functionalities and service requests. We also provide the formal underpinning and implementation of a matching algorithm.