Tutorial Policy 2 v2

From TAMI

__BEGIN_LANDMARK_N3__

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix air: <http://dig.csail.mit.edu/TAMI/2007/amord/air#> .	
@prefix tami: <http://tw.rpi.edu/proj/tami/Special:URIResolver/> .
@prefix tamic: <http://tw.rpi.edu/proj/tami/Special:URIResolver/Category-3A> .
@prefix tamip: <http://tw.rpi.edu/proj/tami/Special:URIResolver/Property-3A> .
@prefix :  <http://tw.rpi.edu/proj/tami/Special:URIResolver/> .

 @forAll :PERSON, :CITY.

 :ny_state_residency_policy a air:Policy ;
       rdfs:label "NY State residency policy" ;
       air:rule 
           [ rdfs:label "state residency rule" ;
             air:if {
                  :PERSON tamip:Lives_in_city :CITY .
                  :CITY tamip:Has_state :NY .         
             };    
             air:then [air:assert [air:statement {:PERSON air:compliant-with :ny_state_residency_policy.} ]] ].

__END_LANDMARK_N3__ (View N3 source)