Trust-enabling decision support system for e-tourism intermediation
International Journal of Networking and Virtual Organisations
Adaptation through Planning in Knowledge Intensive CBR
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
Abstraction in Knowledge-Rich Models for Case-Based Planning
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Web service composition with user preferences
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Security conscious composition of Semantic Web services based on AI planning and description logic
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
A workflow framework for intelligent service composition
Future Generation Computer Systems
Dynamic description logics based semantic web services composition
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
Application of dynamic service composition in web question answering
International Journal of Wireless and Mobile Computing
An automatic subdigraph renovation plan for failure recovery of composite semantic Web services
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
As Web Services become more prevalent---with the aim of achieving interoperability between heterogeneous, decentralized and distributed systems---the problem of selecting and composing services to accomplish a given task becomes more important. Using Web ontologies to describe different properties of Web Services provided by separate developers facilitates their integration. Automating the composition of Web Services is essential for various different subjects ranging from ordinary users performing tasks on the Web, businesses carrying out complex transactions, and scientists collaborating with each other on the computational Grid. In this thesis I present the HTN-DL formalism which combines Hierarchical Task Network (HTN) planning and Description Logics (DL) to automatically compose Web Services which are described with Web Ontology Language (OWL). The main contributions of this thesis are as follows: (1) The HTN-DL formalism, which couples Hierarchical Task Network (HTN) planning and Description Logics. HTN-DL combines the expressivity of Description Logics with the efficiency of HTN planning systems to solve Web Service composition problems. (2) A translation algorithm from the Semantic Web Service language OWL-S to HTN-DL. This translation algorithm shows that the control constructs used to describe the control flow of a Web Service workflow can be encoded in an HTN-DL domain. The translation also provides a semantics for OWL-S processes; and it is also shown that this semantics is compatible with the previously proposed Situation Calculusbased semantics of OWL-S. (3) Novel optimization techniques for DL reasoning which target nominals and large number of individuals. These optimization techniques allow the HTN-DL planner to efficiently reason with OWL-DL ontologies during planning. Our empirical analysis shows that these optimizations dramatically improve consistency checking, classification, and realization tasks. (4) Optimizations for conjunctive query answering w.r.t. DL knowledge bases. Inspired by some query optimization techniques used in relational databases, a cost-based model is presented to estimate the evaluation time of DL queries. (5) An implementation of the HTN-DL planning system that interacts directly with Web Services. The components of the planning system, OWL-DL reasoner Pellet and API for OWL-S services, are also released as stand-alone tools and have been incorporated into many systems.