@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix swp: <http://www.w3.org/2004/03/trix/swp-2/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix ex: <http:// www.example.org/vocabulary#> .
@prefix tpl: <http://www.wiwiss.fu-berlin.de/suhl/bizer/TPL/> .
@prefix gb: <http://www.ncbi.nlm.nih.gov/NCBI_GBSeq#> .
@prefix tprefsl: <http://www.wiwiss.fu-berlin.de/suhl/bizer/TPrefsL/> .
@prefix exdata: <http://www.example.org//TPLuseCase1/exampleData#> .
@prefix fin: <http://www.fu-berlin/suhl/bizer/financialscenario/vocabulary/> .
@prefix : <http://www.fu-berlin/suhl/bizer/financialscenario/policies/> .

# ----------------------------------------------------
# Policy Suite for the Financial Scenario V0.1
# ----------------------------------------------------

<>  rdf:type tpl:TrustPolicySuite;
    tpl:suiteName "Financial Trust Policies" ;
    tpl:includesPolicy :Policy1 .
    tpl:includesPolicy :Policy2 .

# ----------------------------------------------------
# Policy 1:
# Trust only rating agencies
# ----------------------------------------------------

:Policy1 rdf:type tpl:TrustPolicy ;
    tpl:policyName "Trust only rating agencies" ;
    tpl:textExplanation "The information is stated in the document" ;
    tpl:graphPattern [
        tpl:pattern """(?GRAPH swp:assertedBy ?warrant .
                        ?warrant swp:authority ?authority )""" ;
        tpl:textExplanation "@@?GRAPH@@, which is asserted by the rating agency @@?authority@@." ;
    ] ;
    tpl:graphPattern [
        tpl:pattern """(?authority rdf:type fin:RatingAgency)""" ;
    ] .

:Policy2 rdf:type tpl:TrustPolicy ;
    tpl:policyName "Trust only self-asserted information" ;
    tpl:textExplanation "The information is stated in the document" ;
    tpl:graphPattern [
        tpl:pattern """(?GRAPH swp:assertedBy ?warrant .
                        ?warrant swp:assertedBy ?warrant .
                        ?warrant swp:authority ?authority )""" ;
        tpl:textExplanation "@@?GRAPH@@, which is self-asserted by @@?authority@@." ;
    ] .


# ----------------------------------------------------
# Policy 2:
# Use only data which is newer than a certain date
# ----------------------------------------------------
#
# TriQL query:
# ?graph1 (?GRAPH swp:assertedBy ?x .
#          ?x dc:date ?y )
# ?graph2 (?graph1 swp:assertedBy ?graph2 .
#          ?graph2 swp:assertedBy ?graph2 .
#          ?graph2 swp:authority exdata:Crawler )
# AND ?y > '2004/1/1'^^xsd:date

:Policy2 rdf:type tpl:TrustPolicy ;
    tpl:policyName "Data should be newer than X" ;
    tpl:policyDescription "Uses only data which is newer than a date, defined by the browser." ;
    tpl:textExplanation "The information is beliefed because it was stated at @@?y@@, which is after 2004/1/1." ;
    tpl:graphPattern [
        tpl:pattern """?graph1 (?GRAPH swp:assertedBy ?x .
                                ?x dc:date ?y )""" ;
    ] ;
    tpl:graphPattern [
         tpl:pattern """?graph2 (?graph1 swp:assertedBy ?graph2 .
                                 ?graph2 swp:assertedBy ?graph2 .
                                 ?graph2 swp:authority exdata:Crawler )""" ;
    ] ;
    tpl:condition "?y > '2004/1/1'^^xsd:date" .