Abstract: Description Logic possesses strong knowledge representation and reasoning capabilities and offers logical foundation for Semantic Web ontology languages such as OWL and OWL-S. However, the present implementations of OWL and OWL-S are deficient in semantic modeling for dynamic service composition. They also do not consider user preferences. AI planning possesses a better modeling capability of action state transformations in planning and provides an effective method for solving planning problem and task decomposition. However, it is limited in knowledge representation and reasoning capabilities. Based on merits of Description Logic, OWL-S and AI planning, this paper extends OWL-S model, proposes a service composition mechanism and testifies its feasibility in Description Logic. The results show that this composition mechanism is not only feasible but also helpful for semantic modeling of service composition in Semantic Web.
Keywords: Semantic Web, OWL-S, service composition, description logic, AI planning