Research on Acquisition and Verification of Government Role Relations and Their Axioms

In the absence of effective system to access and verify axiom, automated reasoning can't be realized, it also severely hinders the development of the Semantic Web.According to government roles and role relationships, this article proposed a semi-automatic government roles relationships and a method of obtaining and verifying axioms.Firstly it analyzed the completeness of government roles relations axiom, then gives errors that may exist in the government roles relations and axioms, and classification;finally it design a system to realized the knowledge model of the role of a government relations and axioms, realized the automatic verification of the knowledge model system.The experiments show that the proposed method can effectively carry out the access of government roles relations axiom and correctness verification.