Tutorial Policy 14

From TAMI

Jump to: navigation, search

__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, :STATE.

:ny_neighbor_state_residency_policy a air:Policy;
    air:rule :non-ny-residency-rule.

:non-ny-residency-rule a air:Belief-rule;
    rdfs:label "Non NY residency rule";
    air:pattern {:PERSON tamip:Lives_in_city :CITY.};
    air:rule [
        air:pattern {:CITY tamip:Has_state :NY.};
        air:alt [air:rule :neighbor-state-rule]
    ].

:neighbor-state-rule a air:Belief-rule;
    rdfs:label "neighbor state rule";
    air:pattern { :CITY tamip:Has_state :STATE. 
                  :STATE tamip:Neighbor_state :NY.};   
    air:assert { :PERSON air:compliant-with :ny_neighbor_state_residency_policy. }.

__END_LANDMARK_N3__ (View N3 source)

Retrieved from "http://tw.rpi.edu/proj/tami/Tutorial_Policy_14"
Personal tools