Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
A formal model for semantic web service composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Minerva: a scalable OWL ontology storage and inference system
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Wishful search: interactive composition of data mashups
Proceedings of the 17th international conference on World Wide Web
A tag-based approach for the design and composition of information processing applications
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Towards Coordination of Multiple Machine Translation Services
New Frontiers in Artificial Intelligence
Efficient learning of action schemas and web-service descriptions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Towards self-healing web services composition
Proceedings of the First Asia-Pacific Symposium on Internetware
Journal of Artificial Intelligence Research
Workflow construction for service-oriented knowledge discovery
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
A survey of intelligent assistants for data analysis
ACM Computing Surveys (CSUR)
Learning web-service task descriptions from traces
Web Intelligence and Agent Systems
Hi-index | 0.00 |
In this paper, we consider the problem of composing a set of web services, where the requirements are specified in terms of the input and output messages of the composite workflow. We propose a semantic model of messages using RDF graphs that encode OWL ABox assertions. We also propose a model of web service operations where the input message requirements and output message characteristics are modeled using RDF graph patterns. We formulate the message-oriented semantic web service composition problem and show how it can be translated into a planning problem. There are, however, significant challenges in scalably doing planning in this domain, especially since DL reasoning may be performed to check if an operation can be given a certain input message. We propose a two-phase planning algorithm that incorporates DLP reasoning and evaluate the performance of this planning algorithm.