Tutorial Policy 21

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.

:rpi_location_based_policy a air:Policy;
      air:rule :troy-rule;
      air:rule :hartford-rule.

:troy-rule a air:Belief-rule;
    rdfs:label "rpi in troy rule";
    air:pattern { };    
    air:assert {:rpi tamip:Located_In :troy.}.

:hartford-rule a air:Belief-rule;
    rdfs:label "rpi in hartford rule";
    air:pattern { };    
    air:assert {:rpi tamip:Located_In :hartford.}.

__END_LANDMARK_N3__ (View N3 source)