MA Disability Discrimination Law V2

From TAMI

Policy
type	Policy
name	MA disability discrimination (V2)
original text	No otherwise qualified handicapped individual shall, solely by reason of his handicap, be excluded from participation in, be denied the benefits of, or be subject to discrimination under any program or activity within the Commonwealth.
citation	Massachusetts Constitutions, Article 114
Relation
Notes
description	Policy for a simple case when one event violates policy

back to: TAMI Scenario 9

Semantics

__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/> .

@prefix abc: <http://dig.csail.mit.edu/TAMI/air> .

@forAll :EVENT_REFUSE_REQUEST, 
	:EVENT_ACCESS_DATA,  :DATA_ACCESSOR, :NAME_DATA_ACCESSOR,
        :EVENT_REQUEST,  
	:INSTRUCTION, :DESC_INSTRUCTION,
        :REQUESTER,  :NAME_REQUESTER,
        :REQUEST_PROCESSOR, :NAME_REQUEST_PROCESSOR,
        :REASON, :DESC_REASON .

:MA_Disability_Discrimination_Law_V2 a air:Policy;
   rdfs:label "MA Disability Discrimination Law (V2)";
   air:rule [
     rdfs:label "MA Disability Discrimination Law (V2) rule 1";
     air:pattern {
      :EVENT_REFUSE_REQUEST a tamic:RefuseRequest;
         tamip:Antecedent :EVENT_REQUEST;
	 tamip:Antecedent :EVENT_ACCESS_DATA;
         tamip:Coordinator :REQUEST_PROCESSOR;
         tamip:Participant :REQUESTER.
      
      :EVENT_ACCESS_DATA
         tamip:Coordinator :DATA_ACCESSOR;
         tamip:Input_data :REASON.
	 
      :DATA_ACCESSOR
          tamip:Name :NAME_DATA_ACCESSOR.

      :EVENT_REQUEST
	 tamip:Output_data :INSTRUCTION.
	 
      :INSTRUCTION
	 tamip:Description :DESC_INSTRUCTION;
         tamip:Intended_beneficiary :REQUESTER;
	 tamip:Tag tamic:Benefit_Request.

      :REQUESTER
         tamip:Location :Massachusetts;
	 tamip:Name :NAME_REQUESTER.

      :REQUEST_PROCESSOR   
         tamip:Name :NAME_REQUEST_PROCESSOR.      

      :REASON
	 tamip:Description :DESC_REASON;
         tamip:Tag tamic:Health_Information.	 
     };
     air:description (
      " Under the MA Disability Discrimination Law it is illegal to indirectly use health information to deny a service request."
      " In this case, a service request, '" :DESC_INSTRUCTION  "', was issued by " :NAME_REQUESTER 
       " who is the intended beneficiary and a resident of Massachusetts"
      " The request was refused by " :NAME_REQUEST_PROCESSOR " and the decision depends on the event '" :EVENT_ACCESS_DATA
      " coordinated by " :NAME_DATA_ACCESSOR " who takes input data '" 
       :DESC_REASON "', and the data is in Health_Information category. " );
     air:assert { :EVENT_REFUSE_REQUEST air:non-compliant-with :MA_Disability_Discrimination_Law_V2 .
                  :EVENT_ACCESS_DATA air:non-compliant-with :MA_Disability_Discrimination_Law_V2      } 
   ].
   

__END_LANDMARK_N3__ (View N3 source)