# ARL scenario, violation of UN resolution
# http://www.un.org/documents/ga/res/46/a46r182.htm
# more about ARL scenario http://dig.csail.mit.edu/2008/ARL
# $Date: 2008年10月28日 10:51:34 -0400 (2008年10月28日) $
# $Revision: 25019 $
# $Author: jacobi $
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix air: <http://dig.csail.mit.edu/tami/2007/amord/air#> .	
@prefix tami: <http://dig.csail.mit.edu/tami/2007/tami#> .
@prefix : <http://dig.csail.mit.edu/2008/arl/unresol-policy#> .	
@forAll :COMPLAINT, :SEARCHEVENT, :ACTOR, :DEFENDANT.
@forAll :DATA, :PURPOSE, :SPURPOSE, :INFORMEVENT.
:UN_General_Assembly_Resolution a air:Policy;
	rdfs:label "UN General Assembly Resolution";
	rdfs:comment "The UN General Assembly Resolution states that humanitarian assistance must be provided in accordance with the principles of humanity, neutrality and impartiality. Using Red Cross data for non humanitarian purposes violates this.";
#	air:variable :COMPLAINT, :SEARCHEVENT, :ACTOR, :DEFENDANT;
#	air:variable :DATA, :PURPOSE, :SPURPOSE, :INFORMEVENT;
	air:rule :UNR_1.
:UNR_1 a air:BeliefRule;
	rdfs:label "UN General Assembly Resolution #1";
 	air:pattern {
 :COMPLAINT a tami:PrivacyViolationComplaint;
		tami:prevEvent :SEARCHEVENT;
		tami:actor :ACTOR;
		tami:defendant :DEFENDANT.
 :SEARCHEVENT a tami:SearchEvent;
		tami:actor :DEFENDANT.
	 #:DEFENDANT a tami:Military.	
 	};
 air:description (:COMPLAINT " was filed by " :ACTOR " about " :SEARCHEVENT " performed by " :DEFENDANT );
 air:rule :UNR_2.
:UNR_2 a air:BeliefRule;
	rdfs:label "UN General Assembly Resolution #2";
	air:pattern {
 :SEARCHEVENT tami:data :DATA;
		tami:purpose :SPURPOSE;
		tami:prevEvent :INFORMEVENT.
	 :INFORMEVENT a tami:Inform;
		tami:content :DATA;
		tami:receiver :DEFENDANT;
		tami:sender tami:RedCross.
	 :DATA tami:purpose :PURPOSE.
	};
	air:description(:SEARCHEVENT " has purpose " :SPURPOSE " and uses data obtained from the Red Cross ");
	air:rule :UNR_3.
:UNR_3 a air:BeliefRule;
	rdfs:label "UN General Assembly Resolution #3";
 air:pattern {
 :SPURPOSE owl:sameAs :PURPOSE
 }; 
 air:description ("The purpose of the SearchEvent is the same as the purpose of the data obtained from Red Cross");
 air:assert { :SEARCHEVENT air:compliant-with :UN_General_Assembly_Resolution };
	air:alt [
 	air:description ("Data obtained from the Red Cross can only be used for humanitarian purposes. ");
		air:rule :UNR_4 ].
:UNR_4 a air:BeliefRule;
	air:pattern { };
	air:assert { :SEARCHEVENT air:non-compliant-with :UN_General_Assembly_Resolution };
 	air:description (:SEARCHEVENT ", performed by the defendant " :DEFENDANT " was for " :SPURPOSE " purposes, making it incompliant with UN General Assembly Resolution").
@forAll :E1, :E2, :E3.
# transitive closure of prevEvent
:trans-prevEvent a air:Policy;
# air:variable :E1, :E2, :E3;
 air:rule [
 air:label "Transitive closure of prevEvent";
 air:pattern { :E1 tami:prevEvent :E2.
 :E2 tami:prevEvent :E3.
 };
 air:assert { :E1 tami:prevEvent :E3 }
 ].
#ends
</div><div class="naked_ctrl">
<form action="/index.cgi/larger-text" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="http://dig.csail.mit.edu/2008/ARL/unresol-policy.n3">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="http://dig.csail.mit.edu/2008/ARL/unresol-policy.n3" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast">配色反転</option>
<option value="larger-text" selected="selected">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>