Skip to main content
Article thumbnail
Location of Repository

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

By A Uszok, J M Bradshaw, R Jeffers, Austin Tate and J Dalton


The University of Edinburgh and research sponsors are authorised to reproduce and distribute reprints and on-line copies for their purposes notwithstanding any copyright annotation hereon. The views and conclusions contained herein are the author’s and shouldn’t be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of other parties.In this paper we describe our experience in applying KAoS services to ensure policy\ud 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 CoSARTS 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 two application examples. Finally, we outline plans for future work

Topics: Informatics, artificial intelligence, semantic web, computer science, search and rescue, Artificial Intelligence Applications Institute
Publisher: Springer
Year: 2004
OAI identifier:

Suggested articles


  1. (2003). A policy-based approach to security for the Semantic Web. In doi
  2. (2003). Automating DAML-S Web Services composition using SHOP2. In doi
  3. (2003). Coalition task support using I-X and doi
  4. (2003). DAML reality check: A case study of KAoS domain and policy services. doi
  5. (2003). Delegation logic: A logic-based approach to distributed authorization. doi
  6. (2004). Intelligent Agents for Coalition Search and Rescue Task Support,
  7. (2003). KAoS policy and domain services: Toward a description-logic approach to policy representation, deconfliction, and enforcement. doi
  8. (2004). Making agents acceptable to people. In doi
  9. (2000). Ponder: A Language for Specifying Security and Management Policies for Distributed Systems, Version 2.3. doi
  10. (2003). Representation and reasoning for DAML-based policy and domain services in KAoS and Nomads. doi
  11. (2002). Requirements for policy languages for trust negotiation. doi
  12. (2003). Security for DAML Web Services: Annotation and Matchmaking. In doi
  13. (2003). Semantic Web languages for policy representation and reasoning: A comparison of KAoS, doi
  14. (2001). Semantic Web Services. doi
  15. (2004). Social order and adaptability in animal and human cultures as an analogue for agent communities: Toward a policy-based approach. doi
  16. (2002). Special Issue on Policy-Based Networking. doi
  17. (2003). Spinning the Semantic Web. doi
  18. (2000). The Process Specification Language (PSL): Overview and Version 1.0 Specification,"
  19. (2004). Towards a Semantic Web Security Infrastructure. AAAI Spring Symposium on Semantic Web Services.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.