OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning

Murat Sensoy, Timothy J. Norman, Wamberto W. Vasconcelos and Katia Sycara
Journal Article, Journal of Web Semantics, Special Issue on Reasoning with Context in the Semantic Web, DOI: 10.1016/j.websem.2011.11.005 , Vol. 12, No. 13, January, 2012

View Publication

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


In a distributed system, the actions of one component may lead to severe failures in the system as a whole. To govern such systems, constraints are placed on the behaviour of components to avoid such undesirable actions. Policies or norms are declarations of soft constraints regulating what is prohibited, permitted or obliged within a distributed sys- tem. These constraints provide systems-level means to mitigate against failures. A few machine-processable representations for policies have been proposed, but they tend to be either limited in the types of policies that can be expressed or are limited by the complex- ity of associated reasoning mechanisms. In this paper, we present a language that suffi- ciently expresses the types of policies essential in practical systems, and which enables both policy-governed decision-making and policy analysis within the bounds of decidabil- ity. We then propose an OWL-based representation of policies that meets these criteria and reasoning mechanisms that use a novel combination of ontology consistency checking and query answering. The proposed policy representation and reasoning mechanisms al- low development of distributed agent-based systems that operate flexibly and effectively in policy-constrainted environments.

author = {Murat Sensoy and Timothy J. Norman and Wamberto W. Vasconcelos and Katia Sycara},
title = {OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning},
journal = {Journal of Web Semantics, Special Issue on Reasoning with Context in the Semantic Web, DOI: 10.1016/j.websem.2011.11.005 },
year = {2012},
month = {January},
volume = {12},
number = {13},
keywords = {Semantic Web, Policies, Norms, Conflict Resolution, Multi-agent Systems},
} 2017-09-13T10:39:59-04:00