• Rein is a Web-based approach to representing and reasoning over policies for Web resources. It promotes extensibility and reusability as it allows every policy to use its own policy language and meta-policy or re-use or extend existing policy languages and meta-policies.
• Rein is flexible with respect to how sophisticated or expressive policies can be.
• Rein provides a unified mechanism for reasoning over Rein policy networks to make policy decisions.
• Rein supports compartmentalized policy development by allowing a division of responsibilities between different parties with different roles and skills. Designing policy languages, writing meta-policies associated with policy languages, developing policies, and enforcing policies are all modular tasks. This allows policy developers to make frequent changes at their high level of understanding without requiring any other changes to the system.
• All information required to make the policy decision is described within or linked to from the entities in the resource's policy network making our framework self-describing.

Installation

1. Download cwm from the public w3c CVS repository
2. Install cwm
3. The Rein reasoning engine can be run off the web

Example

1. http://demo.policyawareweb.org/images/group.jpg (policy)
2. http://demo.policyawareweb.org/images/camping.jpg (policy)
3. http://demo.policyawareweb.org/images/award.jpg (policy)
4. http://demo.policyawareweb.org/images/alice-award.jpg (policy)

Example 1 (for cwm testing)

• To run the example (about 16secs)
  
  cwm http://dig.csail.mit.edu/2006/06/rein/example/judy-req.n3 http://dig.csail.mit.edu/2006/06/rein/engine.n3 --think --filter="http://dig.csail.mit.edu/2006/06/rein/filter.n3"
  
  If cwm was installed correctly, the following is the output
  
  

  #Processed by Id: cwm.py,v 1.186 2006/07/07 03:30:52 syosi Exp 
          #    using base file:/Users/lkagal1/Research/dig-repos/rein/
          
  #  Notation3 generation by
  #       notation3.py,v 1.190 2006/07/10 14:20:31 syosi Exp
  
  #   Base was: file:/Users/lkagal1/Research/dig-repos/rein/
       @prefix : <http://dig.csail.mit.edu/2005/09/rein/network#> .
      @prefix http: <http://dig.csail.mit.edu/2005/09/rein/examples/http-access#> .
      
        [      a :Request;
               :access http:can-get;
               :ans :Valid;
               :requester  [
                   http:can-get <http://demo.policyawareweb.org/images/group.jpg> ];
               :resource <http://demo.policyawareweb.org/images/group.jpg> ].
      
  #ENDS
  
  

  
  
• To generate the proof (about 1min24secs)
  cwm http://dig.csail.mit.edu/2006/06/rein/example/judy-req.n3 http://dig.csail.mit.edu/2006/06/rein/engine.n3 --think --filter="http://dig.csail.mit.edu/2006/06/rein/filter.n3" --base=foo --why > judy.proof
  
  
  

Example 2 (for demo)

• To run this example
  cwm http://dig.csail.mit.edu/2006/06/rein/src/lean-req.n3 http://dig.csail.mit.edu/2006/06/rein/src/lean-engine.n3 --think --filter="http://dig.csail.mit.edu/2006/06/rein/src/lean-filter.n3"
  
  
  
• To generate proof
  cwm http://dig.csail.mit.edu/2006/06/rein/src/lean-req.n3 http://dig.csail.mit.edu/2006/06/rein/src/lean-engine.n3 --filter="http://dig.csail.mit.edu/2006/06/rein/src/lean-filter.n3" --think --base=foo --why > lean.proof
  
  
  
• To check proof
  python (CWM)/check.py lean.proof
  
  
  

Papers

• Lalana Kagal, Tim Berners-Lee, Dan Connolly, and Daniel Weitzner, Using Semantic Web Technologies for Policy Management on the Web, 21st National Conference on Artificial Intelligence (AAAI), July 16 - 20, 2006.
• Lalana Kagal, Tim Berners-Lee, Dan Connolly, and Daniel Weitzner, Self-describing Delegation Networks for the Web, IEEE Workshop on Policy for Distributed Systems and Networks (IEEE Policy), 5 - 7 June 2006.

References