A transformation approach from informal descriptions of SWRL to built-in elements of protégé4.1

To support automated reasoning of the rules 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 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 rules for the cooperation between Goal and Process which is in the informal descriptions of SWRL are transformed into corresponding built-in elements of protégé4.1 through the approach. In this paper, automated reasoning support is provided for the dynamic evolution of Process model and its visualization through reasoning engine Pellet.