A Transformation Approach from Informal Descriptions of SWRL to Built-in Elements of Protégé4.1.pdfVIP

Proceedings of 2012 International Conference on Modelling, Identification and Control, Wuhan, China, June 24-26, 2012 A Transformation Approach from Informal Descriptions of SWRL to Built-in Elements of Protégé4.1 1 2 3 4 5 6 Zhao Li , Zheng Li , Xin Guo , Peng Liang , Ke-Qing He , Bo Huang  Abstract— To support automated reasoning of the rules for Decomposition is the process that decomposing the the cooperation between Goal and Process and achieve the high-level goal into many sub-goals. The Decomposition on-demand modifications of operational process in some degree, primarily describes the relationship between upper goal and based on our previous work, an approach for transforming the lower goal, and it consists of And relationship and Or informal descriptions of SWRL into the built-in elements of relationship. And relationship indicates that once the upper 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 goal is selected, all of the lower goals must be selected; Or mapping relationships from the informal descriptions of SWRL relationship indicates that once the upper goal is selected, at to the built-in elements of protégé4.1. According to the mapping least one goal from the lower goals set must be selected. At relationship, the transformation approach is conclud