A semantic policy management environment for end-users and its empirical study