Using SWRL and protégé4.1 to optimize and reason with policies of the cooperation between goal and process

作者：Li, Zhao^*; Xu, Shouzhi; Zhao, Yi; Liang, Peng; He, Keqing

来源：Journal of Software, 2014, 9(2): 409-416.

DOI：10.4304/jsw.9.2.409-416

• Automated reasoning
• Dynamic evolution
• Knowledge base
• Mapping relationships
• On-demand services
• Operational process
• SWRL
• Transformation

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 prote´ge´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 prote´ge´4.1 is specified in this paper to indicate the mapping relationships from the informal descriptions of SWRL to the built-in elements of prote´ge´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 prote´ge´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.

• 出版日期2014
• 单位三峡大学