2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z 2006-06-01T03:13:55Z file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#r1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#RU1 file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#t1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#transfer-1a file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#Owner http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#TSA file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#p1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CT-CriminalLawEnforcement file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#o2 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#FBI file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#p2 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#o1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#FBI file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#s1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#SFDB file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#r http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#partOf file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#rstar http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#partOfStar file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#x http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#FBI file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#r http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#specializationOf file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#rstar http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#specializationOfStar file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#x http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CT-CriminalLawEnforcement file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#y http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#r http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#specializationOf file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#rstar http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#specializationOfStar file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#x http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#CounterTerrorism @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @prefix td: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . td:transfer-1a :status :LegalTransfer . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :SFDB ts:routineUse :RU1 . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :RU1 ts:recipient :FBI . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :RU1 ts:purpose :CounterTerrorism . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . :SFDB <http://purl.org/dc/elements/1.1/creator> :TSA . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :SFDB a ts:Sorn . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :transfer-1a ts:sender :TSA . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :transfer-1a ts:recipient :FBI . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :FBI tr:partOfStar :FBI . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . ts:partOf :star :partOfStar . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :FBI a ts:Organization . @prefix : <file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :r, :rstar, :x . { :r tr:star :rstar . :x a ts:Organization . } log:implies {:x :rstar :x . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :transfer-1a a ts:Transfer . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :CT-CriminalLawEnforcement tr:specializationOfStar :CounterTerrorism . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . ts:specializationOf :star :specializationOfStar . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :CT-CriminalLawEnforcement ts:specializationOf :CounterTerrorism . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :CounterTerrorism tr:specializationOfStar :CounterTerrorism . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . ts:specializationOf :star :specializationOfStar . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :CounterTerrorism a ts:Activity . @prefix : <file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :r, :rstar, :x . { :r tr:star :rstar . :x a ts:Activity . } log:implies {:x :rstar :x . } . @prefix : <file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @forAll :r, :rstar, :x, :y . { :r tr:star :rstar . :x :r [ :rstar :y ] . } log:implies {:x :rstar :y . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :transfer-1a ts:purpose :CT-CriminalLawEnforcement . @prefix : <file:/Users/lkagal1/Research/Grants/TAMI/pml-cwm/carlos-filter.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :Owner, :o1, :o2, :p1, :p2, :r1, :s1, :t1 . { :o1 tr:partOfStar :o2 . :p1 tr:specializationOfStar :p2 . :r1 ts:purpose :p2; ts:recipient :o2 . :s1 a ts:Sorn; ts:routineUse :r1; <http://purl.org/dc/elements/1.1/creator> :Owner . :t1 a ts:Transfer; ts:purpose :p1; ts:recipient :o1; ts:sender :Owner . } log:implies {:t1 ts:status ts:LegalTransfer . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @prefix td: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . td:transfer-1a :status :LegalTransfer .