2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z 2006-06-01T05:25:08Z http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3#A http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#Arrest05NY2343CRJFC http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3#B http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2-result-1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2-result-1 http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2 http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-source-search-2 http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#assignment-2 http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#assignment-2 http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-investigation-1 http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#open-investigation-1 http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#B http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#transfer-1b http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#A http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#transfer-1b @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :Arrest05NY2343CRJFC a tr:JustifiedArrest . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix j: <http://www.niem.gov/niem/domains/justice/0.1#> . :Arrest05NY2343CRJFC a j:Arrest . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :Arrest05NY2343CRJFC ts:antecedent :open-source-search-2-result-1 . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :open-source-search-2-result-1 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :open-source-search-2-result-1 a ts:SearchResult . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :open-source-search-2-result-1 ts:antecedent :open-source-search-2 . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :open-source-search-2 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :open-source-search-2 a ts:Search . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :open-source-search-2 ts:antecedent :assignment-2 . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :assignment-2 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :assignment-2 a ts:Assignment . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :assignment-2 ts:antecedent :open-investigation-1 . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :open-investigation-1 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :open-investigation-1 a ts:OpeningCase . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :open-investigation-1 ts:antecedent :transfer-1b . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :transfer-1b a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . :transfer-1b a ts:Transfer . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :A . { :A a ts:Transfer . } log:implies {:A a :LegalAntecedent . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tam: <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :A, tam:B . { :A a ts:OpeningCase; ts:antecedent tam:B . tam:B a :LegalAntecedent . } log:implies {:A a :LegalAntecedent . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tam: <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :A, tam:B . { :A a ts:Assignment; ts:antecedent tam:B . tam:B a :LegalAntecedent . } log:implies {:A a :LegalAntecedent . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tam: <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :A, tam:B . { :A a ts:Search; ts:antecedent tam:B . tam:B a :LegalAntecedent . } log:implies {:A a :LegalAntecedent . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . @prefix tam: <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-rules.n3#> . @prefix ts: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/schema.n3#> . @forAll :A, tam:B . { :A a ts:SearchResult; ts:antecedent tam:B . tam:B a :LegalAntecedent . } log:implies {:A a :LegalAntecedent . } . @prefix : <http://people.csail.mit.edu/lkagal/tami/tami-scenario3-filter.n3#> . @prefix j: <http://www.niem.gov/niem/domains/justice/0.1#> . @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 :A, :B . { :A a j:Arrest; ts:antecedent :B . :B a tr:LegalAntecedent . } log:implies {:A a tr:JustifiedArrest . } . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :Arrest05NY2343CRJFC a tr:JustifiedArrest . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :open-source-search-2-result-1 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :open-source-search-2 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :assignment-2 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :open-investigation-1 a tr:LegalAntecedent . @prefix : <http://dig.csail.mit.edu/TAMI/cdk/scenario3/data.n3#> . @prefix tr: <http://dig.csail.mit.edu/TAMI/cdk/scenario3/rules.n3#> . :transfer-1b a tr:LegalAntecedent .