A method of public policy refinement based on OWL and linear temporal logic

Abstract

It’s the consistency, safety and sustainability of public policy that to some extent determines the effectiveness of policy implementation. This paper focuses on whether we can use formal verification methods to verify the policy implementation consistent with their objectives. Based on a number of policy refinement methods, this paper uses ontology language OWL to break the objectives of public policy into several objects which can be represented by linear temporal logic in the second step for their logical reasons. At last model checking technology is applied to an example to verify the entire process. Then we give the performance analysis of the method and prospects. Keywords-public policy; refinement; OWL; LTL; model checking