OWL-POLAR: semantic policies for agent reasoning

Murat Sensoy, Timothy J Norman, Wamberto Weber Vasconcelos, Katia P Sycara

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)
3 Downloads (Pure)

Abstract

Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. 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 limited by the complexity of associated reasoning mechanisms. In this paper, we argue for a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decisionmaking and policy analysis within the bounds of decidability.We then propose an OWL-based representation of policies that meets these criteria using and a reasoning mechanism that uses a novel combination of ontology consistency checking and query answering. In this way, agent-based systems can be developed that operate flexibly and effectively in policy-constrainted environments.
Original languageEnglish
Title of host publicationThe Semantic Web
Subtitle of host publication9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
EditorsPeter F Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z Pan, Ian Horrocks, Birte Glimm
Place of PublicationBerlin
PublisherSpringer Berlin / Heidelberg
Pages679-695
Number of pages17
ISBN (Electronic)978-3-642-17746-0
ISBN (Print)978-3-642-17745-3
DOIs
Publication statusPublished - 4 Jan 2011

Publication series

NameLecture notes in computer science
PublisherSpringer Berlin Heidelberg
Volume6496
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Semantics
Computability and decidability
Ontology

Keywords

  • semantic web

Cite this

Sensoy, M., Norman, T. J., Vasconcelos, W. W., & Sycara, K. P. (2011). OWL-POLAR: semantic policies for agent reasoning. In P. F. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Z. Pan, I. Horrocks, ... B. Glimm (Eds.), The Semantic Web: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I (pp. 679-695). (Lecture notes in computer science; Vol. 6496). Berlin: Springer Berlin / Heidelberg. https://doi.org/10.1007/978-3-642-17746-0_43

OWL-POLAR : semantic policies for agent reasoning. / Sensoy, Murat; Norman, Timothy J; Vasconcelos, Wamberto Weber; Sycara, Katia P.

The Semantic Web: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. ed. / Peter F Patel-Schneider; Yue Pan; Pascal Hitzler; Peter Mika; Lei Zhang; Jeff Z Pan; Ian Horrocks; Birte Glimm. Berlin : Springer Berlin / Heidelberg, 2011. p. 679-695 (Lecture notes in computer science; Vol. 6496).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sensoy, M, Norman, TJ, Vasconcelos, WW & Sycara, KP 2011, OWL-POLAR: semantic policies for agent reasoning. in PF Patel-Schneider, Y Pan, P Hitzler, P Mika, L Zhang, JZ Pan, I Horrocks & B Glimm (eds), The Semantic Web: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture notes in computer science, vol. 6496, Springer Berlin / Heidelberg, Berlin, pp. 679-695. https://doi.org/10.1007/978-3-642-17746-0_43
Sensoy M, Norman TJ, Vasconcelos WW, Sycara KP. OWL-POLAR: semantic policies for agent reasoning. In Patel-Schneider PF, Pan Y, Hitzler P, Mika P, Zhang L, Pan JZ, Horrocks I, Glimm B, editors, The Semantic Web: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Berlin: Springer Berlin / Heidelberg. 2011. p. 679-695. (Lecture notes in computer science). https://doi.org/10.1007/978-3-642-17746-0_43
Sensoy, Murat ; Norman, Timothy J ; Vasconcelos, Wamberto Weber ; Sycara, Katia P. / OWL-POLAR : semantic policies for agent reasoning. The Semantic Web: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. editor / Peter F Patel-Schneider ; Yue Pan ; Pascal Hitzler ; Peter Mika ; Lei Zhang ; Jeff Z Pan ; Ian Horrocks ; Birte Glimm. Berlin : Springer Berlin / Heidelberg, 2011. pp. 679-695 (Lecture notes in computer science).
@inproceedings{5d9607ddd48d4a6dbdcc89340940050e,
title = "OWL-POLAR: semantic policies for agent reasoning",
abstract = "Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. 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 limited by the complexity of associated reasoning mechanisms. In this paper, we argue for a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decisionmaking and policy analysis within the bounds of decidability.We then propose an OWL-based representation of policies that meets these criteria using and a reasoning mechanism that uses a novel combination of ontology consistency checking and query answering. In this way, agent-based systems can be developed that operate flexibly and effectively in policy-constrainted environments.",
keywords = "semantic web",
author = "Murat Sensoy and Norman, {Timothy J} and Vasconcelos, {Wamberto Weber} and Sycara, {Katia P}",
note = "The original publication is available at www.springerlink.com",
year = "2011",
month = "1",
day = "4",
doi = "10.1007/978-3-642-17746-0_43",
language = "English",
isbn = "978-3-642-17745-3",
series = "Lecture notes in computer science",
publisher = "Springer Berlin / Heidelberg",
pages = "679--695",
editor = "Patel-Schneider, {Peter F} and Pan, {Yue } and Hitzler, {Pascal } and Mika, {Peter } and Zhang, {Lei } and Pan, {Jeff Z} and Horrocks, {Ian } and Glimm, {Birte }",
booktitle = "The Semantic Web",

}

TY - GEN

T1 - OWL-POLAR

T2 - semantic policies for agent reasoning

AU - Sensoy, Murat

AU - Norman, Timothy J

AU - Vasconcelos, Wamberto Weber

AU - Sycara, Katia P

N1 - The original publication is available at www.springerlink.com

PY - 2011/1/4

Y1 - 2011/1/4

N2 - Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. 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 limited by the complexity of associated reasoning mechanisms. In this paper, we argue for a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decisionmaking and policy analysis within the bounds of decidability.We then propose an OWL-based representation of policies that meets these criteria using and a reasoning mechanism that uses a novel combination of ontology consistency checking and query answering. In this way, agent-based systems can be developed that operate flexibly and effectively in policy-constrainted environments.

AB - Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. 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 limited by the complexity of associated reasoning mechanisms. In this paper, we argue for a language that sufficiently expresses the types of policies essential in practical systems, and which enables both policy-governed decisionmaking and policy analysis within the bounds of decidability.We then propose an OWL-based representation of policies that meets these criteria using and a reasoning mechanism that uses a novel combination of ontology consistency checking and query answering. In this way, agent-based systems can be developed that operate flexibly and effectively in policy-constrainted environments.

KW - semantic web

U2 - 10.1007/978-3-642-17746-0_43

DO - 10.1007/978-3-642-17746-0_43

M3 - Conference contribution

SN - 978-3-642-17745-3

T3 - Lecture notes in computer science

SP - 679

EP - 695

BT - The Semantic Web

A2 - Patel-Schneider, Peter F

A2 - Pan, Yue

A2 - Hitzler, Pascal

A2 - Mika, Peter

A2 - Zhang, Lei

A2 - Pan, Jeff Z

A2 - Horrocks, Ian

A2 - Glimm, Birte

PB - Springer Berlin / Heidelberg

CY - Berlin

ER -