Representation and reasoning for DAML-based policy and domain services in KAoS and nomads

Bradshaw, Jeffrey M.; Uszok, Andrzej; Jeffers, Renia; Suri, Niranjan; Hayes, Patrick J.; Burstein, Mark; Acquisti, Alessandro; Benyo, Brett; Breedy, Maggie; Carvalho, Marco; Diller, David; Johnson, Matt; Kulkarni, S. R.; Lott, James; Sierhuis, Maarten; Hoof, Ron van

doi:10.1145/860575.860709

Cited by 77 publications

(33 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several approaches have been proposed in the literature for the specification of open MASsee, for example, [4,5,42,64,3,75,6,74,41,32,14,11,35,77]. An influential approach has been the work of Moses, Shoham, Tennenholtz and colleagues [49,50,67,68,73,25].…”

Section: Discussionmentioning

confidence: 99%

Executable specification of open multi-agent systems

Artikis

Sergot

2009

Logic Journal of IGPL

View full text Add to dashboard Cite

Abstract. Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as 'open'. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between the members, such as permission, obligation, and institutional power. We present a framework being developed for executable specification of open multi-agent systems. We adopt a bird's eye view of these systems, as opposed to an agent's perspective whereby it reasons about how it should act. This paper is devoted to the presentation of various examples from the NetBill protocol formalised in terms of institutional power, permission and obligation. We express the system specification in the Event Calculus and execute the specification by means of a logic programming implementation. We also give several example formalisations of sanctions for dealing with violations of permissions and obligations. We distinguish between an open multi-agent system and the procedure by which an agent enters and leaves the system. We present examples from the specification of a role-management protocol for NetBill, and demonstrate the interplay between such a protocol and the corresponding multi-agent system.

show abstract

Section: Discussionmentioning

confidence: 99%

Executable specification of open multi-agent systems

Artikis

Sergot

2009

Logic Journal of IGPL

View full text Add to dashboard Cite

show abstract

“…There exists already a large body of work on trust management, e.g., [14,15,16] to name a few. Recent work on frameworks for distributed trust management and policy in multi-agent systems [17,18] and existing authentication and delegation logics have to be taken into consideration for future logical extensions of DAML+OIL. The first step will be the development of further basic ontologies for deontic concepts (permissions, obligations, and rights), as well as a basic agent and action ontology (requesting a resource, delegating rights, etc) [19].…”

Section: Discussionmentioning

confidence: 99%

Security for DAML Web Services: Annotation and Matchmaking

Denker

Kagal

Finin

et al. 2003

Lecture Notes in Computer Science

112

View full text Add to dashboard Cite

Abstract. In the next generation of the Internet semantic annotations will enable software agents to extract and interpret web content more quickly than it is possible with current techniques. The focus of this paper is to develop security annotations for web services that are represented in DAML-S and used by agents. We propose several security-related ontologies that are designed to represent well-known security concepts. These ontologies are used to describe the security requirements and capabilities of web services providers and requesting agents. A reasoning engine decides whether agents and web service have comparable security characteristics. Our prototypical implementation uses the Java Theorem Prover from Stanford for deciding the degree to which the requirements and capabilities match based on our matching algorithm. The security reasoner is integrated with the Semantic Matchmaker from CMU giving it the ability to provide security brokering between agents and services.

show abstract

“…KAoS (Knowledgeable Agent-oriented System) is one of the first efforts to represent policy using a Semantic Web language-in this case OWL 3 . KAoS services and tools allow for the specification, management, conflict resolution, and enforcement of policies within the specific contexts established by complex organizational structures represented as domains [2; 3; 16; 17].…”

Section: Kaos Policy and Domain Management Servicesmentioning

confidence: 99%

“…In this case, KAoS can build a representation of the action class (either the class that corresponds to the portion of the action class in the authorization request or that generates a given obligation) by computing the difference between the current action class and the relevant policy action class(es). The algorithm is identical to the one described in [3] for policy harmonization. However, we are still working out how to generically translate that new class back into OWL-S process instance representation.…”

Section: Kaos Capabilities For Analyzing Action Classesmentioning

confidence: 99%

Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment

Uszok

Bradshaw

Jeffers

et al. 2004

The Semantic Web – ISWC 2004

View full text Add to dashboard Cite

In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing these capabilities within the context of two applications: Coalition Search and Rescue (CoSAR-TS) and Semantic Firewall (SFW). We describe how this work has uncovered requirements for increasing the expressivity of policy beyond what can be done with description logic (e.g., role-value-maps), and how we are extending our representation and reasoning mechanisms in a carefully controlled manner to that end. Since KAoS employs OWL for policy representation, it fits naturally with the use of OWL-S workflow descriptions generated by the AIAI I-X planning system in the CoSAR-TS application. The advanced reasoning mechanisms of KAoS are based on the JTP inference engine and enable the analysis of classes and instances of processes from a policy perspective. As the result of analysis, KAoS concludes whether a particular workflow step is allowed by policy and whether the performance of this step would incur additional policy-generated obligations. Issues in the representation of processes within OWL-S are described. Besides what is done during workflow composition, aspects of policy compliance can be checked at runtime when a workflow is enacted. We illustrate these capabilities through an example where policies control runtime queries and return results from the CMU Semantic Matchmaker. Finally, we outline plans for future work.

show abstract

Representation and reasoning for DAML-based policy and domain services in KAoS and nomads

Cited by 77 publications

References 15 publications

Executable specification of open multi-agent systems

Executable specification of open multi-agent systems

Security for DAML Web Services: Annotation and Matchmaking

Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment

Contact Info

Product

Resources

About