@prefix : <#> . @prefix air: . @prefix log: . @prefix pol: . @prefix que: . @prefix s: . @prefix tms: . @prefix type: . @forSome :_g0, :_g1, :_g2, :_g3, :_g4, :_g5, :_g6, :_g7, :_g8, :_g9, :_g10, :_g11, :_g12, :_g13, :_g14, :_g15, :_g16, :_g17, :_g18, :_g19 . pol:BL_RULE01 tms:justification tms:premise . pol:EX_RULE01 tms:justification tms:premise . pol:IN_RULE01 tms:justification tms:premise . pol:RX_RULE01 tms:justification tms:premise . que:Query-001 air:compliant-with pol:Blocking, pol:Inclusion, pol:Restriction; air:non-compliant-with pol:Exclusion . que:Query-002 air:compliant-with pol:Blocking, pol:Exclusion, pol:Inclusion, pol:Restriction . :_g0 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 ); tms:justification tms:premise . :_g1 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules ) . :_g2 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 ) . :_g3 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 ); tms:justification tms:premise . :_g4 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 ) . :_g5 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 ) . :_g6 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 ) . :_g7 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 ) . :_g8 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 ) . :_g9 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 ) . :_g10 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 ); tms:justification tms:premise . :_g11 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 ); tms:justification tms:premise . :_g12 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 :_g15 :_g16 ); tms:justification tms:premise . :_g13 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 ) . :_g14 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 ) . :_g15 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 ) . :_g16 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 :_g15 ) . :_g17 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 :_g15 :_g16 :_g12 ); tms:justification tms:premise . :_g18 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 :_g15 :_g16 :_g12 :_g17 ); tms:justification tms:premise . :_g19 air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 :_g15 :_g16 :_g12 :_g17 :_g18 ); tms:justification tms:premise . { que:Query-001 air:compliant-with pol:Blocking . } tms:description ( " The query, " que:Query-001 ", does not include a reference to type:F or type:G in the WHERE clause." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:BL_RULE04; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:BL_RULE03a; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g16, [ air:instanceOf pol:BL_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g9, [ air:instanceOf pol:BL_RULE02a; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g2, [ air:instanceOf pol:BL_RULE02; tms:description ( que:Query-001 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:BL_RULE01, {que:Query-001 a s:Select; s:POSList :_g20; s:WhereClause que:WHERE . } ]; tms:rule-name pol:BL_RULE01 ] ], {} ]; tms:rule-name pol:BL_RULE02 ] ], {} ]; tms:rule-name pol:BL_RULE02a ] ], {} ]; tms:rule-name pol:BL_RULE03 ] ], [ air:closed-world-assumption ( pol:Blocking pol:Restriction pol:Exclusion pol:Inclusion air:base-rules :_g1 :_g2 :_g0 :_g4 :_g5 :_g6 :_g7 :_g8 :_g9 :_g3 :_g10 :_g11 :_g13 :_g14 :_g15 :_g16 :_g12 :_g17 :_g18 :_g19 ); tms:justification tms:premise ], {} ]; tms:rule-name pol:BL_RULE03a ] ], {} ]; tms:rule-name pol:BL_RULE04 ] . { que:Query-001 air:compliant-with pol:Inclusion . } tms:description ( " IN_RULE05 The query, " que:Query-001 ", does not refer to type:D or type:E." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:IN_RULE05; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:IN_RULE04; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g14, [ air:instanceOf pol:IN_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g7, [ air:instanceOf pol:IN_RULE02; tms:description ( que:Query-001 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:IN_RULE01, {que:Query-001 a s:Select; s:POSList :_g20; s:WhereClause que:WHERE . } ]; tms:rule-name pol:IN_RULE01 ] ], {} ]; tms:rule-name pol:IN_RULE02 ] ], {} ]; tms:rule-name pol:IN_RULE03 ] ], :_g18, {} ]; tms:rule-name pol:IN_RULE04 ] ], {} ]; tms:rule-name pol:IN_RULE05 ] . { que:Query-001 air:compliant-with pol:Restriction . } tms:description ( "The query, " que:Query-001 ", does not includes reference to type:A." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:RX_RULE04; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:RX_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g4, [ air:instanceOf pol:RX_RULE02; tms:description ( que:Query-001 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:RX_RULE01, {que:Query-001 a s:Select; s:POSList :_g20; s:WhereClause que:WHERE . } ]; tms:rule-name pol:RX_RULE01 ] ], {} ]; tms:rule-name pol:RX_RULE02 ] ], :_g10, {} ]; tms:rule-name pol:RX_RULE03 ] ], {que:WHERE s:TriplePattern {que:S type:B que:B . } . { que:S type:B que:B . } log:notIncludes { @forSome :_g21 . [ type:A :_g21 ]. } . } ]; tms:rule-name pol:RX_RULE04 ] . { que:Query-001 air:non-compliant-with pol:Exclusion . } tms:description ( " The query, " que:Query-001 ", accesses type:B in the where clause as a pattern, " {que:S type:B que:B . } ", and retrieves type:C values as a variable, " que:B ". It also accesses type:C in the same where clause as a pattern, " {que:S type:C que:C . } " and retrieves type:C values as a variable, " que:C ". This policy allows one, or the other, but not both." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:EX_RULE02; tms:description ( que:Query-001 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:EX_RULE01, {que:Query-001 a s:Select; s:POSList :_g20; s:WhereClause que:WHERE . } ]; tms:rule-name pol:EX_RULE01 ] ], {pol:T log:includes {que:S type:B que:B . } . pol:U log:includes {que:S type:C que:C . } . que:WHERE s:TriplePattern {que:S type:B que:B . }, {que:S type:C que:C . } . :_g20 s:variable que:B . } ]; tms:rule-name pol:EX_RULE02 ] . { que:Query-002 air:compliant-with pol:Blocking . } tms:description ( " The query, " que:Query-002 ", does not include a reference to type:F or type:G in the WHERE clause." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:BL_RULE04; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:BL_RULE03a; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g15, [ air:instanceOf pol:BL_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g8, [ air:instanceOf pol:BL_RULE02a; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g1, [ air:instanceOf pol:BL_RULE02; tms:description ( que:Query-002 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:BL_RULE01, {que:Query-002 a s:Select; s:POSList :_g22; s:WhereClause que:WHERE . } ]; tms:rule-name pol:BL_RULE01 ] ], {} ]; tms:rule-name pol:BL_RULE02 ] ], {} ]; tms:rule-name pol:BL_RULE02a ] ], {} ]; tms:rule-name pol:BL_RULE03 ] ], :_g19, {} ]; tms:rule-name pol:BL_RULE03a ] ], {} ]; tms:rule-name pol:BL_RULE04 ] . { que:Query-002 air:compliant-with pol:Exclusion . } tms:description ( "The query, " que:Query-002 ", includes a reference to something of type:C, but not of type:B." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:EX_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:EX_RULE02b; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:EX_RULE02a; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g5, [ air:instanceOf pol:EX_RULE02; tms:description ( que:Query-002 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:EX_RULE01, {que:Query-002 a s:Select; s:POSList :_g22; s:WhereClause que:WHERE . } ]; tms:rule-name pol:EX_RULE01 ] ], {} ]; tms:rule-name pol:EX_RULE02 ] ], :_g11, {} ]; tms:rule-name pol:EX_RULE02a ] ], :_g12, {} ]; tms:rule-name pol:EX_RULE02b ] ], {que:WHERE s:TriplePattern {que:S type:C que:C . } . { que:S type:C que:C . } log:notIncludes { @forSome :_g23 . [ type:B :_g23 ]. } . } ]; tms:rule-name pol:EX_RULE03 ] . { que:Query-002 air:compliant-with pol:Inclusion . } tms:description ( " IN_RULE05 The query, " que:Query-002 ", does not refer to type:D or type:E." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:IN_RULE05; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:IN_RULE04; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g13, [ air:instanceOf pol:IN_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr :_g6, [ air:instanceOf pol:IN_RULE02; tms:description ( que:Query-002 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:IN_RULE01, {que:Query-002 a s:Select; s:POSList :_g22; s:WhereClause que:WHERE . } ]; tms:rule-name pol:IN_RULE01 ] ], {} ]; tms:rule-name pol:IN_RULE02 ] ], {} ]; tms:rule-name pol:IN_RULE03 ] ], :_g17, {} ]; tms:rule-name pol:IN_RULE04 ] ], {} ]; tms:rule-name pol:IN_RULE05 ] . { que:Query-002 air:compliant-with pol:Restriction . } tms:description ( "The query, " que:Query-002 ", does not includes reference to type:A." ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:RX_RULE04; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:RX_RULE03; tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr [ air:instanceOf pol:RX_RULE02; tms:description ( que:Query-002 " is a SPARQL Query" ); tms:justification [ tms:antecedent-expr [ a tms:And-justification; tms:sub-expr pol:RX_RULE01, {que:Query-002 a s:Select; s:POSList :_g22; s:WhereClause que:WHERE . } ]; tms:rule-name pol:RX_RULE01 ] ], :_g0, {} ]; tms:rule-name pol:RX_RULE02 ] ], :_g3, {} ]; tms:rule-name pol:RX_RULE03 ] ], {que:WHERE s:TriplePattern {que:S type:B que:B . } . { que:S type:B que:B . } log:notIncludes { @forSome :_g21 . [ type:A :_g21 ]. } . } ]; tms:rule-name pol:RX_RULE04 ] . { pol:T log:includes {que:S type:B que:B . } . pol:U log:includes {que:S type:C que:C . } . que:Query-001 a s:Select; s:POSList :_g20; s:WhereClause que:WHERE . que:Query-002 a s:Select; s:POSList :_g22; s:WhereClause que:WHERE . que:WHERE s:TriplePattern {que:S type:B que:B . }, {que:S type:C que:C . } . :_g20 s:variable que:B . { que:S type:B que:B . } log:notIncludes { @forSome :_g21 . [ type:A :_g21 ]. } . { que:S type:C que:C . } log:notIncludes { @forSome :_g23 . [ type:B :_g23 ]. } . } tms:justification tms:premise .