Beautement

Boella

Castelfranchi

Elhag

García-Camino

Haase

Hill

Katia Sycara

Kollingbaum

Lupu

Murat Sensoy

Patel

Prakken

Sartor

Sergot

Sirin

Sloman

Timothy J. Norman

Ullman

Vasconcelos

Vranes

Wamberto W. Vasconcelos

Woolridge

Journal of Web Semantics

English

Crossref

OWL-POLAR: A framework for semantic policy representation and reasoning

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-constrained environments.</p

Sensoy, Murat

Norman, Timothy J.

Vasconcelos, Wamberto W.

Sycara, Katia

Southampton (e-Prints Soton)

Aberdeen University Research

A mapping system for the integration of owl-dl ontologies, in:

A survey of policy speciﬁcation approaches,

Agent-based virtual organisations for the grid,

An algebra for integration and analysis of ponder2 policies, in:

Analyzing consistency of security policies, in:

Automated Planning: Theory & Practice,

Combining description logic reasoning with AI planning for composition of web services,

Complexity results for planning, in:

Conﬂicts in policy-based distributed systems management,

Constraint rule-based programming of norms for electronic institutions,

Defeasible inheritance-based description logics, in: IJCAI,

functional taxonomy ofnormative conﬂict,

Information integration using logical views,

Introduction to Multiagent Systems,

Mixing legal and non-legal norms, in:

Modelling social action for AI agents,

New developments in ontology-based policy management: Increasing the practicality and comprehensiveness of KAoS, in:

Norm adoption and consistency in the NoA agent architecture,

Normative conﬂict resolution in multi-agent systems,

Normative conﬂicts in legal reasoning,

On the formal analysis of normative conﬂicts,

OWL 2 web ontology language tractable fragments, http://www.w3.org/2007/OWL/wiki/Tractable Fragments

OWL-POLAR: Semantic policies for agent reasoning, in:

OWL: Web ontology language guide,

Pellet: A practical OWL-DL reasoner,

Policy speciﬁcation for programmable networks, in:

Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations, in:

Reasoning in description logics using resolution and deductive databases,

SPARQL Query Language for RDF,

Structured systems economics for security management, in:

T.Finin, A.Joshi, A policy language for apervasive computing environment, in:

The british nationality act as a logic program,

The deﬁnition of norm conﬂict in international law and legal theory,

web ontology language: Document overview,

Wieringa (eds.), Deontic logic in computer science: normative system speciﬁcation,

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

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

Abstract

Similar works

Full text

Available Versions

Crossref

Southampton (e-Prints Soton)

Aberdeen University Research