A Self-Policing Policy Language

Abstract

Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation is compliant. This is useful for example in applications using data provided via standardized interfaces. The low technical barriers of integrating such data sources is in contrast to the manual evaluation of natural language policies as they currently exist. Usage situations can themselves be regulated by policies, which can be restricted by the policy of a used entity. Consider for example the Google Maps API, which requires that applications using the API must be available without a fee, i.e. the application's policy must not require a payment. In this paper we present a policy language that can express such constraints on other policies, i.e. a self-policing policy language. We validate our approach by realizing a use case scenario, using a policy engine developed for our language.

ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web

“…Bonatti and Mogavero consider policy containment as a formal reasoning task, and restrict the Protune policy language so that this task is decidable [8]. Reasoning about policy conformance and containment also motivated earlier studies by the second author, where policies have been formalised as conjunctive queries [31]. Our present work can be viewed as a generalisation of this approach.…”

An eScience Tool for Understanding Copyright in Data Driven Sciences

“…Compatibility and composition between representations of licenses have also been explored. Work from Speiser [57] has tackled the selfreferential clauses often seen in copyleft licensing terms. Villiate [50] et al have built on their work with the L4LOD vocabulary to develop logic to compose various licenses [58].…”