摘要：To support automated reasoning of the policies for the cooperation between Goal and Process and achieve the on-demand modifications of operational process in some degree, based on our previous work, an approach for transforming the informal descriptions of SWRL into the built-in elements of protégé4.1 is proposed, and the optimization as well as the validation of the policies are also indicated in this paper. The concept of the built-in elements in protégé4.1 is specified in this paper to indicate the mapping relationships from the informal descriptions of SWRL to the built-in elements of protégé4.1. According to the mapping relationship, the transformation approach is concluded and illustrated with a simple case. Then the policies for the cooperation between Goal and Process which is in the informal descriptions of SWRL are firstly optimized and then transformed into corresponding built-in elements of protégé4.1 through the approach. In this paper, effective reasoning support is provided for the dynamic evolution of Process model and the construction of on-demand service knowledge base.
关键词：swrl;protégé4.1;transformation;optimization;on-demand service;knowledge base
