¹College of Computer and Information Technology, China Three Gorges University, Yichang, China
²State Key Lab of Software Engineering, Wuhan University, Wuhan, China

---

Abstract—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.

Index Terms—SWRL; protégé4.1; transformation; optimization; on-demand service; knowledge base

[PDF]

Cite: Zhao Li, Shouzhi Xu, Yi Zhao, Peng Liang, Keqing He, "Using SWRL and Protégé 4.1 to Optimize and Reason with Policies of the Cooperation between Goal and Process," Journal of Software vol. 9, no. 2, pp. 409-416, 2014.