Research On Semantic Web Service Modeling And Composition In Knowledge Grid

With the ability to realize the role the dynamic computing resource and take as the new agent of distribute computing model, web service has been absorbed so much attention from business and studying area. Normal user and enterprise organization can publish and post its own service in the internet, and user can compose multiply simply existed web service to propose one value-added function, which has become one of the most important and prominent feature and application of web service.At present, there are some different dymaical and automatic web service composition method and policy propsed by the studying group, especially with the concept of semantic web service occurring, but there are still some open problems in these areas to develop and improve, such as how to use the semantic web technology to model semantic web service as one kind of dynamic resource and take it as one kind of special dynamic knowledge to inference, and how to expand and improve the current appoarches to support the parallel web service composition with the split, split+Join, choice , iteration and loop etc complex composition service process.In this dissertation, for the modeling on dynamic semantic character and parallel service composition etc problem, we depend on the service community, service semantic relation, description logic rule, description with process algebra operator, description logic with Boolean role operator etc repectively to propose some new solutions to accomplish the semantic web service modeling and composition in the framework of semantic web, especially in the knowledge base of description logic, The mainly work and contributions include:1. Based on the hyponymy and neighbor relationship of concepts in ontology, we define semantic relationship to character the composition relation between atomic service, and use multiply kind sematic relation to model all kind of composition process structure. Then we propose the web service community model(WSC)to describe multiple pre-services or post-services all need to be composed at the same time oriented the parallel service composition. Finnaly we expand the service chain method and convert the sequence and parallel service composition into sequence compostion based on WSC chains.2. One kind of semantic web service modelling and reasoning method based on description logic (DL) rule. we use description logic rule to figure out hyponymy relation between concepts of ontology and atomic web service functional semantic of ServiceProfile, and propose R1, R2 and R3 rule to describe sequence, split and join composition structure of GroundProfile each other. We propose DL rule chain to figure out sequential service composition and propose web service community (WSC) model that can convert parallel service composition to sequential composition based on WSC chain.3. One kind of semantic web service modeling and reasoning method based on description logic with Boolean role constructors (SROIQBs) is introduced in this paper. We use DL to figure out the hyponymy relationship between concepts in domain ontology and model web service functional semantic in ServiceProfile, and define Boolean role expressions to describe the composition process in ProcessProfile respectively. Furthermore, we introduce Boolean role expression to describe all possible composition structures of atomic services and then semantic web service composition can be regarded as a process of consistence checking and class subsumption computing reasoning on DL knowledge base.4. For the problem that dynamic functional semantic modeling and parallel service composition of semantic web service, this paper introduces one kind of semantic web service modeling and composition method based description logic rule and process algebra. We use description logic rule and process algebra to figure out the static, dynamic functional semantic and the behavior characters of services respectively. And we expand the concept of semantic matching of atomic service, so as to support the judgment of composition capability between atomic service and composition process, even among different composition processes. Moreover, we introduce some service composition rule based on semantic matching for the more general semantic web service composition including sequence, choice, split, join, split+join etc composition structures, so that the sequence and parallel service composition can be resolved into the process of reasoning based on semantic matching and composition rules above.5. By integrating SROIQ Rules and SROIQBs to generate one kind of new description logic rules language which named SROIQBs Rules, and use it to model semantic web service based on owl-s, One kind of semantic web service modeling and composition reasoning method based on SROIQBs rules is introduced in this paper. Comparing to the art of arts, it's mainly contribution is two aspects: Firstly, We use the complex concept of SROIQBs to figure out the IOPE model of each atomic process, and define atomic role and Boolean role expressions to describe the atomic process and composition process in ProcessProfile respectively. Secondly, semantic web service composition can be regarded as a process of reasoning on SROIQBs knowledge base with SROIQBs rules.The research results of the thesis will greatly enrich and push the studies of the dynamic character modeling and parallel composition of semantic web services, as well as the algorithm to solving SOA and SOC problem based on semantic web services in both theoretical and technological aspects.