A method of public policy refinement based on OWL and linear temporal logic
- 10.2991/peee-15.2015.80How to use a DOI?
- Public policy, Refinement, OWL; LTL, Model checking.
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.
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - D.P. Lang AU - S.B. Huang AU - L.S. Shen AU - T. Zhang AU - H. Chen PY - 2015/04 DA - 2015/04 TI - A method of public policy refinement based on OWL and linear temporal logic BT - Proceedings of the 2015 International Conference on Power Electronics and Energy Engineering PB - Atlantis Press SP - 294 EP - 297 SN - 2352-5401 UR - https://doi.org/10.2991/peee-15.2015.80 DO - 10.2991/peee-15.2015.80 ID - Lang2015/04 ER -