# $Date: 2009-06-12 15:37:45 -0400 (Fri, 12 Jun 2009) $
# $Revision: 26335 $
# $Author: lkagal $

# MIT Prox Card Policy: http://web.mit.edu/mitcard/privacy.html
# We use a simplified policy: prox card data can only be used for
# criminal investigation.

#### Namespaces ####

# The default namespace is this document.
@prefix : <http://dig.csail.mit.edu/TAMI/2007/s0/mit-policy#> .

# "prox:" is an alias for ":" to improve printed output.
@prefix prox: <#> .

# AIR (AMORD in RDF) is the policy language.
@prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .

# Purposes are drawn from a predefined set.
@prefix pur: <http://dig.csail.mit.edu/TAMI/2006/s4/purposes#> .

# The "mit:" namespace defines background terms specific to MIT.
@prefix mit: <http://dig.csail.mit.edu/TAMI/2007/s0/university#> .

@prefix owl: <http://www.w3.org/2002/07/owl#>.

@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.

#### Policy ####

@forAll :U, :D, :P1.

:MITProxCardPolicy a air:Policy;
     air:rule :MITRule1.
 
:MITRule1 a air:BeliefRule;
     air:label "MIT prox-card policy";
     air:pattern {
         :U a air:UseEvent;
	     air:data :D;
	     air:purpose :P1.
	  :D a mit:ProxCardEvent.
     };
     air:rule :MITRule2.

:MITRule2 a air:BeliefRule;
     air:pattern { :P1 :sameAs pur:criminal-law-enforcement. };
     air:description (:P1 " is same as a criminal activity");
     air:assert { :U air:compliant-with :MITProxCardPolicy. };
     air:alt [ air:rule :MITRule3 ].

:MITRule3 a air:BeliefRule;
     air:pattern {};
     air:description (:P1 " is different from a criminal activity");
     air:assert { :U air:non-compliant-with :MITProxCardPolicy }.

#ends