Composing Semantic Web Service with Description Logic Rules

This paper introduces one kind of semantic Web service composition method based on description logic (DL) rules. Firstly, this method uses DL concepts and roles to describe the input, output, precondition and post-condition characters of atomic service in OWL-S, and adopts DL rules to figure out the hyponymy relation between concepts of domain ontology. Secondly, it defines R1, R2 and R3 DL rules to describe DL rule can describe the dynamic characters of semantic Web service, such as sequence, split and join composition process in the process model of OWL-S respectively. Thirdly, it introduces DL rule chain to figure out sequential service composition and proposes Web service community (WSC) model that can convert parallel service composition to sequential service composition based on WSC chain. Furthermore, a WSC discovery algorithm based on eliminating R2 and R3 rule can discover the composition result for one given WSR. Furthermore, the analysis and comparison indicate the superiority of this method in theory: it builds the direct semantic link between static, dynamic characters of service and domain ontology, besides it provides one kind of reasonable solution for sequential and parallel service composition in the framework of semantic Web. Finally, the simulation experiments show that WSC search algorithm can find the expected results automatically and efficiently.