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

Murat Sensoy, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara

Research output: Contribution to journalArticle

41 Citations (Scopus)

Abstract

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 system.
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 complexity
of associated reasoning mechanisms. In this paper, we present a language that sufficiently
expresses the types of policies essential in practical systems, and which enables
both policy-governed decision-making and policy analysis within the bounds of decidability.
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 allow
development of distributed agent-based systems that operate flexibly and effectively in
policy-constrainted environments.

Original languageEnglish
Pages (from-to)148–160
Number of pages12
JournalWeb semantics: science, services and agents on the World Wide Web
Volume12-13
Issue number-
Early online date27 Nov 2011
DOIs
Publication statusPublished - Apr 2012

Fingerprint

Computability and decidability
Ontology
Decision making
Semantics

Keywords

  • Multiagent Systems
  • Semantic Web
  • Policies
  • Norms
  • Conflict Resolution
  • Multi-agent systems

Cite this

OWL-POLAR : A Framework for Semantic Policy Representation and Reasoning. / Sensoy, Murat; Norman, Timothy J.; Vasconcelos, Wamberto W.; Sycara, Katia.

In: Web semantics: science, services and agents on the World Wide Web, Vol. 12-13, No. -, 04.2012, p. 148–160.

Research output: Contribution to journalArticle

@article{7383b86cc1284fc6900ab2cb023ed80f,
title = "OWL-POLAR: A Framework for Semantic Policy Representation and Reasoning",
abstract = "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 system. 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 complexity of associated reasoning mechanisms. In this paper, we present a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decision-making and policy analysis within the bounds of decidability. 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 allow development of distributed agent-based systems that operate flexibly and effectively in policy-constrainted environments.",
keywords = "Multiagent Systems, Semantic Web , Policies, Norms, Conflict Resolution, Multi-agent systems",
author = "Murat Sensoy and Norman, {Timothy J.} and Vasconcelos, {Wamberto W.} and Katia Sycara",
year = "2012",
month = "4",
doi = "10.1016/j.websem.2011.11.005",
language = "English",
volume = "12-13",
pages = "148–160",
journal = "Web semantics: science, services and agents on the World Wide Web",
issn = "1570-8268",
publisher = "Elsevier",
number = "-",

}

TY - JOUR

T1 - OWL-POLAR

T2 - A Framework for Semantic Policy Representation and Reasoning

AU - Sensoy, Murat

AU - Norman, Timothy J.

AU - Vasconcelos, Wamberto W.

AU - Sycara, Katia

PY - 2012/4

Y1 - 2012/4

N2 - 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 system. 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 complexity of associated reasoning mechanisms. In this paper, we present a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decision-making and policy analysis within the bounds of decidability. 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 allow development of distributed agent-based systems that operate flexibly and effectively in policy-constrainted environments.

AB - 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 system. 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 complexity of associated reasoning mechanisms. In this paper, we present a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decision-making and policy analysis within the bounds of decidability. 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 allow development of distributed agent-based systems that operate flexibly and effectively in policy-constrainted environments.

KW - Multiagent Systems

KW - Semantic Web

KW - Policies

KW - Norms

KW - Conflict Resolution

KW - Multi-agent systems

U2 - 10.1016/j.websem.2011.11.005

DO - 10.1016/j.websem.2011.11.005

M3 - Article

VL - 12-13

SP - 148

EP - 160

JO - Web semantics: science, services and agents on the World Wide Web

JF - Web semantics: science, services and agents on the World Wide Web

SN - 1570-8268

IS - -

ER -