Decomposition model building and ontology reasoning towards G-layer of RGPS requirement meta-model

G-layer of RGPS requirement meta-model is used to refine the general business goals acquired on the basis of the Role layer. A business goal is a high-level and general statement when first proposed. Whether it can be achieved or not depends on the correctness of goal decomposition. Towards these problems, a decomposition model is proposed in this paper. Particularly, with the development of semantic web techniques, ontological techniques and model checking, the ontology reasoning is taken into account. In addition, a case study in urban transportation domain is illustrated to explain the decomposition model and ontology reasoning.