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

DOI

10.2991/peee-15.2015.80How to use a DOI?

Keywords

Public policy, Refinement, OWL; LTL, Model checking.

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.

Copyright

© 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/).

Download article (PDF)

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  -