# Transaction log for ARL scenario 
#
# description: the use of the Red Cross DB for locating suspected terrorist is incompliant  with
# Universal Declaration of Human rights, Article 12 and and the UN Resolution Article 10
# 
# $Date: 2008-03-04 16:08:06 -0500 (Tue, 04 Mar 2008) $
# $Revision: 16191 $
# $Author: lkagal $

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

@prefix tami: <http://dig.csail.mit.edu/TAMI/2007/tami#> .
@prefix :     <http://dig.csail.mit.edu/2008/ARL/log#> .

# organizations

tami:RedCross  a tami:Organization;
	tami:name "Red Cross" .

<urn:KAoS#DeltaCompany> a tami:Organization, tami:Military.
	

# Delta company obtains some documents at the factory that
# contains images and names of suspected terrorists

:FoundForeignLangDoc a tami:FoundEvent;
	tami:actor <urn:KAoS#DeltaCompany>;
	:content <http://dig.csail.mit.edu/2008/ARL/101735Oct2007.doc>;
	rdfs:comment "Delta company finds foreign language documents at IED factory".

:TranslateForeignLangDoc a :TranslateEvent;
	tami:actor <urn:KAoS#DeltaCompany>;
	tami:content :doc-content;
	tami:prevEvent :FoundForeignLangDoc;
	rdfs:comment "Delta company gets foreign language documents translated".

:doc-content a tami:Information,
        rdf:List;
        rdf:first [foaf:firstName "Amer Hamed";
        	foaf:family_name "Al-Ghamidi";
        	:nationality "Saudi";
        	foaf:birthday "12/12/1963"];
	rdf:rest ().

:SearchRedCrossDB a tami:Query;
	tami:prevEvent :TranslateForeignLangDoc;
	tami:sender <urn:KAoS#DeltaCompany>;
	tami:receiver tami:RedCross;
	tami:content :redcrossdbsearch;
	rdfs:comment "Delta company looks thru Red Cross db for info about suspected terrrorists".

:redcrossdbquery a tami:SearchString;
        rdfs:comment "select all those records that are related to any foaf:person in the translated document" .

:ResultRedCrossQuery a tami:Inform;
	tami:receiver <urn:KAoS#DeltaCompany>;
	tami:sender tami:RedCross;
	tami:reply-to :SearchRedCrossDB;
	tami:content :redcrossresult.

:redcrossresult a tami:Information;
	a rdf:List;
	tami:purpose tami:Humanitarian;
	rdf:first [ foaf:firstName "Amer Hamed";
        	foaf:family_name "Al-Ghamidi";
        	:nationality "Saudi";
		foaf:missingFiledBy :MuhammedAlGhamidi;
	];
	rdf:rest ().

:MuhammedAlGhamidi a foaf:Person;
	foaf:firstName "Muhammed"; 
	foaf:family_name "Al-Ghamidi"; 
	foaf:address "56921  Faysal  streets, Lrlad , Saudi Arabia, 564".

:SearchPremise021308 a tami:SearchEvent;
	tami:actor <urn:KAoS#DeltaCompany>;	
	:premise "56921  Faysal  streets, Lrlad , Saudi Arabia, 564";
	tami:prevEvent :ResultRedCrossQuery;
	tami:data :redcrossresult;
	tami:purpose tami:CounterTerrorism;
	rdfs:comment "Delta company searched Muhammed Al-Ghamidi's residence for Amer Hamed Al-Ghamidi".

:Complaint021408 a tami:PrivacyViolationComplaint;
	tami:actor :MuhammedAlGhamidi;
	tami:defendant <urn:KAoS#DeltaCompany>;
	tami:prevEvent :SearchPremise021308.

# stating that Humanitarian and CounterTerrorism purposes are different
tami:Humanitarian owl:differentFrom tami:CounterTerrorism.
#ends