Tutorial Policy 18

From TAMI

Jump to: navigation, search

__BEGIN_LANDMARK_N3__ 

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@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, :NY_STATE_ID.

:state-id-check a air:Belief-rule;
   rdfs:label "state id check rule";
   air:pattern { :PERSON tamip:Has_ny_state_id :NY_STATE_ID. };
   air:assert {:PERSON air:compliant-with :ny_state_residency_and_id_policy.}.

__END_LANDMARK_N3__ (View N3 source)

Retrieved from "http://tw.rpi.edu/proj/tami/Tutorial_Policy_18"